* The scalar two-loop building block in eq.(3.8) of arXiv:1505.02746 * computed with = 2880 L [T(12,3|4,5)] = + k1.e2*k1.e3*k1.e4*e1.e5*ss34*ss45 - 1/2*k1.e2*k1.e3*k1.e4*e1.e5*ss12*ss34 + 1/8*k1.e2*k1.e3*k1.e5*k2.e1*k3.e4*ss12 - 1/14*k1.e2*k1.e3*k1.e5*k2.e4*k3.e1*ss12 + 3/56*k1.e2*k1.e3*k1.e5*k3.e1*k3.e4*ss12 + 3/56*k1.e2*k1.e3*k1.e5*k3.e4*k4.e1*ss12 - k1.e2*k1.e3*k1.e5*e1.e4*ss34*ss45 + 31/56*k1.e2*k1.e3*k1.e5*e1.e4*ss12*ss34 - 13/56*k1.e2*k1.e3*k1.e5*e1.e4*ss12*ss23 + 1/8*k1.e2*k1.e3*k2.e1*k2.e5*k3.e4*ss12 + 1/8*k1.e2*k1.e3*k2.e1*k3.e4*k3.e5*ss12 + 1/8*k1.e2*k1.e3*k2.e1*e4.e5*ss12*ss34 - 1/14*k1.e2*k1.e3*k2.e4*k2.e5*k3.e1*ss12 - 1/14*k1.e2*k1.e3*k2.e4*k3.e1*k3.e5*ss12 - 1/14*k1.e2*k1.e3*k2.e4*k3.e5*k4.e1*ss12 + k1.e2*k1.e3*k2.e4*e1.e5*ss34*ss45 - 3/7*k1.e2*k1.e3*k2.e4*e1.e5*ss12*ss34 + 3/56*k1.e2*k1.e3*k2.e5*k3.e1*k3.e4*ss12 + 1/8*k1.e2*k1.e3*k2.e5*k3.e4*k4.e1*ss12 - k1.e2*k1.e3*k2.e5*e1.e4*ss34*ss45 + 27/56*k1.e2*k1.e3*k2.e5*e1.e4*ss12*ss34 - 13/56*k1.e2*k1.e3*k2.e5*e1.e4*ss12*ss23 + 3/56*k1.e2*k1.e3*k3.e1*k3.e4*k3.e5*ss12 + 1/8*k1.e2*k1.e3*k3.e1*e4.e5*ss12*ss34 + 1/14*k1.e2*k1.e3*k3.e1*e4.e5*ss12*ss23 - 1/14*k1.e2*k1.e3*k3.e1*e4.e5*ss12*ss15 + 3/56*k1.e2*k1.e3*k3.e4*k3.e5*k4.e1*ss12 + k1.e2*k1.e3*k3.e4*e1.e5*ss45^2 + k1.e2*k1.e3*k3.e4*e1.e5*ss34*ss45 - 1/2*k1.e2*k1.e3*k3.e4*e1.e5*ss12*ss45 - 3/7*k1.e2*k1.e3*k3.e4*e1.e5*ss12*ss34 + 1/14*k1.e2*k1.e3*k3.e4*e1.e5*ss12*ss23 - 1/14*k1.e2*k1.e3*k3.e4*e1.e5*ss12*ss15 - k1.e2*k1.e3*k3.e5*e1.e4*ss34*ss45 + 27/56*k1.e2*k1.e3*k3.e5*e1.e4*ss12*ss34 - 17/56*k1.e2*k1.e3*k3.e5*e1.e4*ss12*ss23 + 1/14*k1.e2*k1.e3*k3.e5*e1.e4*ss12*ss15 - k1.e2*k1.e3*k4.e1*e4.e5*ss34*ss45 + 17/28*k1.e2*k1.e3*k4.e1*e4.e5*ss12*ss34 - 13/56*k1.e2*k1.e3*k4.e1*e4.e5*ss12*ss23 + 3/56*k1.e2*k1.e4*k1.e5*k3.e1*k4.e3*ss12 - 3/56*k1.e2*k1.e4*k1.e5*e1.e3*ss12*ss34 + k1.e2*k1.e4*k2.e3*e1.e5*ss34*ss45 - 17/56*k1.e2*k1.e4*k2.e3*e1.e5*ss12*ss34 - k1.e2*k1.e4*k3.e1*e3.e5*ss34*ss45 + 1/7*k1.e2*k1.e4*k3.e1*e3.e5*ss12*ss34 - 17/56*k1.e2*k1.e4*k3.e1*e3.e5*ss12*ss23 + 17/56*k1.e2*k1.e4*k3.e1*e3.e5*ss12*ss15 + k1.e2*k1.e4*k3.e5*e1.e3*ss34*ss45 - 1/7*k1.e2*k1.e4*k3.e5*e1.e3*ss12*ss34 + 17/56*k1.e2*k1.e4*k3.e5*e1.e3*ss12*ss23 - 17/56*k1.e2*k1.e4*k3.e5*e1.e3*ss12*ss15 - k1.e2*k1.e4*k4.e3*e1.e5*ss45^2 + 3/2*k1.e2*k1.e4*k4.e3*e1.e5*ss12*ss45 - 11/56*k1.e2*k1.e4*k4.e3*e1.e5*ss12*ss23 - 1/2*k1.e2*k1.e4*k4.e3*e1.e5*ss12^2 - 1/8*k1.e2*k1.e5*k2.e1*k2.e3*k3.e4*ss12 - 1/8*k1.e2*k1.e5*k2.e1*e3.e4*ss12*ss45 + 1/4*k1.e2*k1.e5*k2.e1*e3.e4*ss12*ss23 + 1/8*k1.e2*k1.e5*k2.e1*e3.e4*ss12^2 + 1/14*k1.e2*k1.e5*k2.e3*k2.e4*k3.e1*ss12 - 1/14*k1.e2*k1.e5*k2.e3*k3.e1*k3.e4*ss12 - 3/56*k1.e2*k1.e5*k2.e3*k3.e4*k4.e1*ss12 - k1.e2*k1.e5*k2.e3*e1.e4*ss34*ss45 + 13/56*k1.e2*k1.e5*k2.e3*e1.e4*ss12*ss45 + 23/56*k1.e2*k1.e5*k2.e3*e1.e4*ss12*ss34 - 13/56*k1.e2*k1.e5*k2.e3*e1.e4*ss12*ss23 - 13/56*k1.e2*k1.e5*k2.e3*e1.e4*ss12^2 + 3/56*k1.e2*k1.e5*k2.e4*k3.e1*k4.e3*ss12 + 1/14*k1.e2*k1.e5*k2.e4*e1.e3*ss12*ss45 - 3/56*k1.e2*k1.e5*k2.e4*e1.e3*ss12*ss34 - 1/7*k1.e2*k1.e5*k2.e4*e1.e3*ss12*ss23 - 1/14*k1.e2*k1.e5*k2.e4*e1.e3*ss12^2 + 3/56*k1.e2*k1.e5*k3.e1*k3.e4*k4.e3*ss12 + k1.e2*k1.e5*k3.e1*e3.e4*ss45^2 + k1.e2*k1.e5*k3.e1*e3.e4*ss34*ss45 - k1.e2*k1.e5*k3.e1*e3.e4*ss12*ss45 - 1/7*k1.e2*k1.e5*k3.e1*e3.e4*ss12*ss34 + 17/28*k1.e2*k1.e5*k3.e1*e3.e4*ss12*ss23 - 5/14*k1.e2*k1.e5*k3.e1*e3.e4*ss12*ss15 + 11/56*k1.e2*k1.e5*k3.e1*e3.e4*ss12^2 - k1.e2*k1.e5*k3.e4*e1.e3*ss45^2 - k1.e2*k1.e5*k3.e4*e1.e3*ss34*ss45 + 53/56*k1.e2*k1.e5*k3.e4*e1.e3*ss12*ss45 + 5/56*k1.e2*k1.e5*k3.e4*e1.e3*ss12*ss34 - 27/56*k1.e2*k1.e5*k3.e4*e1.e3*ss12*ss23 + 5/14*k1.e2*k1.e5*k3.e4*e1.e3*ss12*ss15 - 1/7*k1.e2*k1.e5*k3.e4*e1.e3*ss12^2 - 3/56*k1.e2*k1.e5*k4.e1*e3.e4*ss12*ss45 + 3/28*k1.e2*k1.e5*k4.e1*e3.e4*ss12*ss23 + 3/56*k1.e2*k1.e5*k4.e1*e3.e4*ss12^2 + k1.e2*k1.e5*k4.e3*e1.e4*ss45^2 - 87/56*k1.e2*k1.e5*k4.e3*e1.e4*ss12*ss45 + 1/7*k1.e2*k1.e5*k4.e3*e1.e4*ss12*ss23 + 31/56*k1.e2*k1.e5*k4.e3*e1.e4*ss12^2 - 1/8*k1.e2*k2.e1*k2.e3*k2.e5*k3.e4*ss12 - 1/8*k1.e2*k2.e1*k2.e3*k3.e4*k3.e5*ss12 - 1/8*k1.e2*k2.e1*k2.e3*e4.e5*ss12*ss34 - 1/8*k1.e2*k2.e1*k2.e5*e3.e4*ss12*ss45 + 1/4*k1.e2*k2.e1*k2.e5*e3.e4*ss12*ss23 + 1/8*k1.e2*k2.e1*k2.e5*e3.e4*ss12^2 - 1/8*k1.e2*k2.e1*k3.e5*e3.e4*ss12*ss45 + 1/4*k1.e2*k2.e1*k3.e5*e3.e4*ss12*ss23 + 1/8*k1.e2*k2.e1*k3.e5*e3.e4*ss12^2 - 1/8*k1.e2*k2.e1*k4.e3*e4.e5*ss12*ss45 + 1/4*k1.e2*k2.e1*k4.e3*e4.e5*ss12*ss23 + 1/8*k1.e2*k2.e1*k4.e3*e4.e5*ss12^2 + 1/14*k1.e2*k2.e3*k2.e4*k2.e5*k3.e1*ss12 + 1/14*k1.e2*k2.e3*k2.e4*k3.e1*k3.e5*ss12 + 1/14*k1.e2*k2.e3*k2.e4*k3.e5*k4.e1*ss12 + k1.e2*k2.e3*k2.e4*e1.e5*ss34*ss45 - 3/8*k1.e2*k2.e3*k2.e4*e1.e5*ss12*ss34 - 1/14*k1.e2*k2.e3*k2.e5*k3.e1*k3.e4*ss12 - 1/8*k1.e2*k2.e3*k2.e5*k3.e4*k4.e1*ss12 - k1.e2*k2.e3*k2.e5*e1.e4*ss34*ss45 + 13/56*k1.e2*k2.e3*k2.e5*e1.e4*ss12*ss45 + 27/56*k1.e2*k2.e3*k2.e5*e1.e4*ss12*ss34 - 13/56*k1.e2*k2.e3*k2.e5*e1.e4*ss12*ss23 - 13/56*k1.e2*k2.e3*k2.e5*e1.e4*ss12^2 - 1/14*k1.e2*k2.e3*k3.e1*k3.e4*k3.e5*ss12 - 1/7*k1.e2*k2.e3*k3.e1*e4.e5*ss12*ss34 - 1/14*k1.e2*k2.e3*k3.e1*e4.e5*ss12*ss23 + 1/14*k1.e2*k2.e3*k3.e1*e4.e5*ss12*ss15 - 3/56*k1.e2*k2.e3*k3.e4*k3.e5*k4.e1*ss12 + k1.e2*k2.e3*k3.e4*e1.e5*ss45^2 + k1.e2*k2.e3*k3.e4*e1.e5*ss34*ss45 - 17/56*k1.e2*k2.e3*k3.e4*e1.e5*ss12*ss45 - 3/8*k1.e2*k2.e3*k3.e4*e1.e5*ss12*ss34 - 1/14*k1.e2*k2.e3*k3.e4*e1.e5*ss12*ss23 + 1/14*k1.e2*k2.e3*k3.e4*e1.e5*ss12*ss15 - k1.e2*k2.e3*k3.e5*e1.e4*ss34*ss45 + 13/56*k1.e2*k2.e3*k3.e5*e1.e4*ss12*ss45 + 27/56*k1.e2*k2.e3*k3.e5*e1.e4*ss12*ss34 - 9/56*k1.e2*k2.e3*k3.e5*e1.e4*ss12*ss23 - 1/14*k1.e2*k2.e3*k3.e5*e1.e4*ss12*ss15 - 13/56*k1.e2*k2.e3*k3.e5*e1.e4*ss12^2 - k1.e2*k2.e3*k4.e1*e4.e5*ss34*ss45 + 13/56*k1.e2*k2.e3*k4.e1*e4.e5*ss12*ss45 + 5/14*k1.e2*k2.e3*k4.e1*e4.e5*ss12*ss34 - 13/56*k1.e2*k2.e3*k4.e1*e4.e5*ss12*ss23 - 13/56*k1.e2*k2.e3*k4.e1*e4.e5*ss12^2 + 1/14*k1.e2*k2.e4*k2.e5*e1.e3*ss12*ss45 - 1/7*k1.e2*k2.e4*k2.e5*e1.e3*ss12*ss23 - 1/14*k1.e2*k2.e4*k2.e5*e1.e3*ss12^2 + 1/14*k1.e2*k2.e4*k3.e1*k3.e5*k4.e3*ss12 - k1.e2*k2.e4*k3.e1*e3.e5*ss34*ss45 + 17/56*k1.e2*k2.e4*k3.e1*e3.e5*ss12*ss45 + 1/14*k1.e2*k2.e4*k3.e1*e3.e5*ss12*ss34 - 17/56*k1.e2*k2.e4*k3.e1*e3.e5*ss12*ss23 + 17/56*k1.e2*k2.e4*k3.e1*e3.e5*ss12*ss15 + k1.e2*k2.e4*k3.e5*e1.e3*ss34*ss45 - 13/56*k1.e2*k2.e4*k3.e5*e1.e3*ss12*ss45 - 1/7*k1.e2*k2.e4*k3.e5*e1.e3*ss12*ss34 + 9/56*k1.e2*k2.e4*k3.e5*e1.e3*ss12*ss23 - 17/56*k1.e2*k2.e4*k3.e5*e1.e3*ss12*ss15 - 1/14*k1.e2*k2.e4*k3.e5*e1.e3*ss12^2 + 1/14*k1.e2*k2.e4*k4.e1*e3.e5*ss12*ss45 - 1/7*k1.e2*k2.e4*k4.e1*e3.e5*ss12*ss23 - 1/14*k1.e2*k2.e4*k4.e1*e3.e5*ss12^2 - k1.e2*k2.e4*k4.e3*e1.e5*ss45^2 + 10/7*k1.e2*k2.e4*k4.e3*e1.e5*ss12*ss45 - 3/56*k1.e2*k2.e4*k4.e3*e1.e5*ss12*ss23 - 3/7*k1.e2*k2.e4*k4.e3*e1.e5*ss12^2 - 1/14*k1.e2*k2.e5*k3.e1*k3.e4*k4.e3*ss12 + k1.e2*k2.e5*k3.e1*e3.e4*ss45^2 + k1.e2*k2.e5*k3.e1*e3.e4*ss34*ss45 - 59/56*k1.e2*k2.e5*k3.e1*e3.e4*ss12*ss45 - 1/14*k1.e2*k2.e5*k3.e1*e3.e4*ss12*ss34 + 17/28*k1.e2*k2.e5*k3.e1*e3.e4*ss12*ss23 - 5/14*k1.e2*k2.e5*k3.e1*e3.e4*ss12*ss15 + 11/56*k1.e2*k2.e5*k3.e1*e3.e4*ss12^2 - k1.e2*k2.e5*k3.e4*e1.e3*ss45^2 - k1.e2*k2.e5*k3.e4*e1.e3*ss34*ss45 + k1.e2*k2.e5*k3.e4*e1.e3*ss12*ss45 + 1/7*k1.e2*k2.e5*k3.e4*e1.e3*ss12*ss34 - 27/56*k1.e2*k2.e5*k3.e4*e1.e3*ss12*ss23 + 5/14*k1.e2*k2.e5*k3.e4*e1.e3*ss12*ss15 - 1/7*k1.e2*k2.e5*k3.e4*e1.e3*ss12^2 - 1/8*k1.e2*k2.e5*k4.e1*e3.e4*ss12*ss45 + 1/4*k1.e2*k2.e5*k4.e1*e3.e4*ss12*ss23 + 1/8*k1.e2*k2.e5*k4.e1*e3.e4*ss12^2 + k1.e2*k2.e5*k4.e3*e1.e4*ss45^2 - 83/56*k1.e2*k2.e5*k4.e3*e1.e4*ss12*ss45 + 27/56*k1.e2*k2.e5*k4.e3*e1.e4*ss12^2 - k1.e2*k3.e1*k3.e4*e3.e5*ss45^2 - k1.e2*k3.e1*k3.e4*e3.e5*ss34*ss45 + 25/56*k1.e2*k3.e1*k3.e4*e3.e5*ss12*ss45 + 1/14*k1.e2*k3.e1*k3.e4*e3.e5*ss12*ss34 - 3/8*k1.e2*k3.e1*k3.e4*e3.e5*ss12*ss23 + 3/8*k1.e2*k3.e1*k3.e4*e3.e5*ss12*ss15 + k1.e2*k3.e1*k3.e5*e3.e4*ss45^2 + k1.e2*k3.e1*k3.e5*e3.e4*ss34*ss45 - 59/56*k1.e2*k3.e1*k3.e5*e3.e4*ss12*ss45 - 1/14*k1.e2*k3.e1*k3.e5*e3.e4*ss12*ss34 + 19/28*k1.e2*k3.e1*k3.e5*e3.e4*ss12*ss23 - 3/7*k1.e2*k3.e1*k3.e5*e3.e4*ss12*ss15 + 11/56*k1.e2*k3.e1*k3.e5*e3.e4*ss12^2 + k1.e2*k3.e1*k4.e3*e4.e5*ss45^2 + k1.e2*k3.e1*k4.e3*e4.e5*ss34*ss45 - 59/56*k1.e2*k3.e1*k4.e3*e4.e5*ss12*ss45 - 1/7*k1.e2*k3.e1*k4.e3*e4.e5*ss12*ss34 + 17/28*k1.e2*k3.e1*k4.e3*e4.e5*ss12*ss23 - 5/14*k1.e2*k3.e1*k4.e3*e4.e5*ss12*ss15 + 11/56*k1.e2*k3.e1*k4.e3*e4.e5*ss12^2 + 31/56*k1.e2*k3.e4*k3.e5*e1.e3*ss12*ss45 - 5/28*k1.e2*k3.e4*k3.e5*e1.e3*ss12*ss23 + 3/56*k1.e2*k3.e4*k3.e5*e1.e3*ss12*ss15 - 1/7*k1.e2*k3.e4*k3.e5*e1.e3*ss12^2 - k1.e2*k3.e4*k4.e1*e3.e5*ss45^2 + k1.e2*k3.e4*k4.e1*e3.e5*ss12*ss45 - 1/14*k1.e2*k3.e4*k4.e1*e3.e5*ss12*ss23 - 1/7*k1.e2*k3.e4*k4.e1*e3.e5*ss12^2 + 1/2*k1.e2*k3.e4*k4.e3*e1.e5*ss12*ss45 - 1/8*k1.e2*k3.e4*k4.e3*e1.e5*ss12*ss23 - 5/14*k1.e2*k3.e4*k4.e3*e1.e5*ss12^2 + k1.e2*k3.e5*k4.e1*e3.e4*ss45^2 - 59/56*k1.e2*k3.e5*k4.e1*e3.e4*ss12*ss45 + 5/28*k1.e2*k3.e5*k4.e1*e3.e4*ss12*ss23 + 11/56*k1.e2*k3.e5*k4.e1*e3.e4*ss12^2 - 31/56*k1.e2*k3.e5*k4.e3*e1.e4*ss12*ss45 + 1/14*k1.e2*k3.e5*k4.e3*e1.e4*ss12*ss23 + 23/56*k1.e2*k3.e5*k4.e3*e1.e4*ss12^2 + k1.e2*k4.e1*k4.e3*e4.e5*ss45^2 - 45/28*k1.e2*k4.e1*k4.e3*e4.e5*ss12*ss45 + 1/4*k1.e2*k4.e1*k4.e3*e4.e5*ss12*ss23 + 17/28*k1.e2*k4.e1*k4.e3*e4.e5*ss12^2 - k1.e2*e1.e3*e4.e5*ss34*ss45^2 - k1.e2*e1.e3*e4.e5*ss34^2*ss45 + 13/14*k1.e2*e1.e3*e4.e5*ss12*ss34*ss45 + 1/7*k1.e2*e1.e3*e4.e5*ss12*ss34^2 - 1/14*k1.e2*e1.e3*e4.e5*ss12*ss23*ss45 - 19/56*k1.e2*e1.e3*e4.e5*ss12*ss23*ss34 + 1/7*k1.e2*e1.e3*e4.e5*ss12*ss23^2 + 1/14*k1.e2*e1.e3*e4.e5*ss12*ss15*ss45 + 5/14*k1.e2*e1.e3*e4.e5*ss12*ss15*ss34 - 1/7*k1.e2*e1.e3*e4.e5*ss12*ss15*ss23 - 1/14*k1.e2*e1.e3*e4.e5*ss12^2*ss34 + 1/14*k1.e2*e1.e3*e4.e5*ss12^2*ss23 - 1/14*k1.e2*e1.e3*e4.e5*ss12^2*ss15 + k1.e2*e1.e4*e3.e5*ss34*ss45^2 - 13/14*k1.e2*e1.e4*e3.e5*ss12*ss34*ss45 + 1/14*k1.e2*e1.e4*e3.e5*ss12*ss23*ss45 - 1/14*k1.e2*e1.e4*e3.e5*ss12*ss23*ss34 - 1/7*k1.e2*e1.e4*e3.e5*ss12*ss23^2 - 1/14*k1.e2*e1.e4*e3.e5*ss12*ss15*ss45 + 1/7*k1.e2*e1.e4*e3.e5*ss12*ss15*ss23 + 1/14*k1.e2*e1.e4*e3.e5*ss12^2*ss34 - 1/14*k1.e2*e1.e4*e3.e5*ss12^2*ss23 + 1/14*k1.e2*e1.e4*e3.e5*ss12^2*ss15 - k1.e2*e1.e5*e3.e4*ss45^3 - k1.e2*e1.e5*e3.e4*ss34*ss45^2 + 3/2*k1.e2*e1.e5*e3.e4*ss12*ss45^2 + 13/14*k1.e2*e1.e5*e3.e4*ss12*ss34*ss45 - 15/56*k1.e2*e1.e5*e3.e4*ss12*ss23*ss45 + 1/14*k1.e2*e1.e5*e3.e4*ss12*ss23*ss34 + 1/7*k1.e2*e1.e5*e3.e4*ss12*ss23^2 + 1/14*k1.e2*e1.e5*e3.e4*ss12*ss15*ss45 - 1/7*k1.e2*e1.e5*e3.e4*ss12*ss15*ss23 - 1/2*k1.e2*e1.e5*e3.e4*ss12^2*ss45 - 1/14*k1.e2*e1.e5*e3.e4*ss12^2*ss34 + 1/14*k1.e2*e1.e5*e3.e4*ss12^2*ss23 - 1/14*k1.e2*e1.e5*e3.e4*ss12^2*ss15 - 1/14*k1.e3*k1.e4*k1.e5*k2.e1*k3.e2*ss12 + 3/56*k1.e3*k1.e4*k1.e5*k3.e1*k3.e2*ss12 + 3/56*k1.e3*k1.e4*k1.e5*k3.e1*k4.e2*ss12 + 13/56*k1.e3*k1.e4*k1.e5*e1.e2*ss12*ss23 - 1/14*k1.e3*k1.e4*k2.e1*k2.e5*k3.e2*ss12 - 1/14*k1.e3*k1.e4*k2.e1*k3.e2*k3.e5*ss12 - 1/14*k1.e3*k1.e4*k2.e1*k3.e5*k4.e2*ss12 - k1.e3*k1.e4*k2.e1*e2.e5*ss34*ss45 + 3/8*k1.e3*k1.e4*k2.e1*e2.e5*ss12*ss34 + 3/56*k1.e3*k1.e4*k2.e5*k3.e1*k3.e2*ss12 + 1/8*k1.e3*k1.e4*k2.e5*k3.e1*k4.e2*ss12 - 1/14*k1.e3*k1.e4*k2.e5*k3.e2*k4.e1*ss12 + k1.e3*k1.e4*k2.e5*e1.e2*ss34*ss45 - 27/56*k1.e3*k1.e4*k2.e5*e1.e2*ss12*ss34 + 13/56*k1.e3*k1.e4*k2.e5*e1.e2*ss12*ss23 + 3/56*k1.e3*k1.e4*k3.e1*k3.e2*k3.e5*ss12 + 3/56*k1.e3*k1.e4*k3.e1*k3.e5*k4.e2*ss12 + 13/56*k1.e3*k1.e4*k3.e1*e2.e5*ss12*ss34 + 13/56*k1.e3*k1.e4*k3.e1*e2.e5*ss12*ss23 - 13/56*k1.e3*k1.e4*k3.e1*e2.e5*ss12*ss15 + 3/56*k1.e3*k1.e4*k3.e2*k3.e5*k4.e1*ss12 - 1/14*k1.e3*k1.e4*k3.e2*e1.e5*ss12*ss34 + 3/8*k1.e3*k1.e4*k3.e2*e1.e5*ss12*ss23 - 3/8*k1.e3*k1.e4*k3.e2*e1.e5*ss12*ss15 + 3/56*k1.e3*k1.e4*k3.e5*k4.e1*k4.e2*ss12 - 19/56*k1.e3*k1.e4*k3.e5*e1.e2*ss12*ss34 + 13/56*k1.e3*k1.e4*k3.e5*e1.e2*ss12*ss15 - 3/28*k1.e3*k1.e4*k4.e1*e2.e5*ss12*ss34 + 13/56*k1.e3*k1.e4*k4.e1*e2.e5*ss12*ss23 + 3/56*k1.e3*k1.e4*k4.e2*e1.e5*ss12*ss34 + 3/8*k1.e3*k1.e4*k4.e2*e1.e5*ss12*ss23 + 1/14*k1.e3*k1.e5*k2.e1*k3.e2*k3.e4*ss12 + 1/8*k1.e3*k1.e5*k2.e1*k3.e4*k4.e2*ss12 + k1.e3*k1.e5*k2.e1*e2.e4*ss34*ss45 - 27/56*k1.e3*k1.e5*k2.e1*e2.e4*ss12*ss34 - 13/56*k1.e3*k1.e5*k2.e1*e2.e4*ss12*ss23 - 11/56*k1.e3*k1.e5*k2.e4*k3.e1*k3.e2*ss12 - 1/14*k1.e3*k1.e5*k2.e4*k3.e1*k4.e2*ss12 + 1/56*k1.e3*k1.e5*k2.e4*k3.e2*k4.e1*ss12 - k1.e3*k1.e5*k2.e4*e1.e2*ss34*ss45 + 27/56*k1.e3*k1.e5*k2.e4*e1.e2*ss12*ss34 + 13/56*k1.e3*k1.e5*k2.e4*e1.e2*ss12*ss23 + 3/56*k1.e3*k1.e5*k3.e1*k3.e4*k4.e2*ss12 + 31/56*k1.e3*k1.e5*k3.e1*e2.e4*ss12*ss45 - 19/56*k1.e3*k1.e5*k3.e1*e2.e4*ss12*ss34 - 2/7*k1.e3*k1.e5*k3.e1*e2.e4*ss12*ss23 + 19/56*k1.e3*k1.e5*k3.e1*e2.e4*ss12*ss15 - 1/14*k1.e3*k1.e5*k3.e1*e2.e4*ss12^2 - 31/56*k1.e3*k1.e5*k3.e2*e1.e4*ss12*ss45 + 1/56*k1.e3*k1.e5*k3.e2*e1.e4*ss12*ss34 - 2/7*k1.e3*k1.e5*k3.e2*e1.e4*ss12*ss23 + 27/56*k1.e3*k1.e5*k3.e2*e1.e4*ss12*ss15 + 27/56*k1.e3*k1.e5*k3.e2*e1.e4*ss12^2 + 3/56*k1.e3*k1.e5*k3.e4*k4.e1*k4.e2*ss12 - 25/56*k1.e3*k1.e5*k3.e4*e1.e2*ss12*ss45 + 19/56*k1.e3*k1.e5*k3.e4*e1.e2*ss12*ss34 + 4/7*k1.e3*k1.e5*k3.e4*e1.e2*ss12*ss23 - 13/56*k1.e3*k1.e5*k3.e4*e1.e2*ss12*ss15 + 1/14*k1.e3*k1.e5*k3.e4*e1.e2*ss12^2 - 3/28*k1.e3*k1.e5*k4.e1*e2.e4*ss12*ss34 - 2/7*k1.e3*k1.e5*k4.e1*e2.e4*ss12*ss23 + 3/56*k1.e3*k1.e5*k4.e2*e1.e4*ss12*ss34 - 3/7*k1.e3*k1.e5*k4.e2*e1.e4*ss12*ss23 - k1.e3*k2.e1*k2.e4*e2.e5*ss34*ss45 + 17/56*k1.e3*k2.e1*k2.e4*e2.e5*ss12*ss34 + 1/14*k1.e3*k2.e1*k2.e5*k3.e2*k3.e4*ss12 + 3/56*k1.e3*k2.e1*k2.e5*k3.e4*k4.e2*ss12 + k1.e3*k2.e1*k2.e5*e2.e4*ss34*ss45 - 23/56*k1.e3*k2.e1*k2.e5*e2.e4*ss12*ss34 - 13/56*k1.e3*k2.e1*k2.e5*e2.e4*ss12*ss23 + 1/14*k1.e3*k2.e1*k3.e2*k3.e4*k3.e5*ss12 + 1/14*k1.e3*k2.e1*k3.e2*e4.e5*ss12*ss45 + 1/14*k1.e3*k2.e1*k3.e2*e4.e5*ss12*ss34 - 1/14*k1.e3*k2.e1*k3.e2*e4.e5*ss12*ss23 + 1/14*k1.e3*k2.e1*k3.e2*e4.e5*ss12*ss15 + 3/56*k1.e3*k2.e1*k3.e4*k3.e5*k4.e2*ss12 - k1.e3*k2.e1*k3.e4*e2.e5*ss45^2 - k1.e3*k2.e1*k3.e4*e2.e5*ss34*ss45 + 3/8*k1.e3*k2.e1*k3.e4*e2.e5*ss12*ss45 + 17/56*k1.e3*k2.e1*k3.e4*e2.e5*ss12*ss34 - 1/14*k1.e3*k2.e1*k3.e4*e2.e5*ss12*ss23 + 1/14*k1.e3*k2.e1*k3.e4*e2.e5*ss12*ss15 + k1.e3*k2.e1*k3.e5*e2.e4*ss34*ss45 - 1/14*k1.e3*k2.e1*k3.e5*e2.e4*ss12*ss45 - 23/56*k1.e3*k2.e1*k3.e5*e2.e4*ss12*ss34 - 9/56*k1.e3*k2.e1*k3.e5*e2.e4*ss12*ss23 - 1/14*k1.e3*k2.e1*k3.e5*e2.e4*ss12*ss15 + k1.e3*k2.e1*k4.e2*e4.e5*ss34*ss45 - 5/14*k1.e3*k2.e1*k4.e2*e4.e5*ss12*ss34 - 13/56*k1.e3*k2.e1*k4.e2*e4.e5*ss12*ss23 - 11/56*k1.e3*k2.e4*k2.e5*k3.e1*k3.e2*ss12 - 3/56*k1.e3*k2.e4*k2.e5*k3.e2*k4.e1*ss12 + 13/56*k1.e3*k2.e4*k2.e5*e1.e2*ss12*ss23 - 11/56*k1.e3*k2.e4*k3.e1*k3.e2*k3.e5*ss12 - 1/14*k1.e3*k2.e4*k3.e1*k3.e5*k4.e2*ss12 - 13/56*k1.e3*k2.e4*k3.e1*e2.e5*ss12*ss45 + 13/56*k1.e3*k2.e4*k3.e1*e2.e5*ss12*ss34 + 13/56*k1.e3*k2.e4*k3.e1*e2.e5*ss12*ss23 - 13/56*k1.e3*k2.e4*k3.e1*e2.e5*ss12*ss15 - 1/14*k1.e3*k2.e4*k3.e2*k3.e5*k4.e1*ss12 - 3/8*k1.e3*k2.e4*k3.e2*e1.e5*ss12*ss45 + 1/14*k1.e3*k2.e4*k3.e2*e1.e5*ss12*ss34 + 3/8*k1.e3*k2.e4*k3.e2*e1.e5*ss12*ss23 - 3/8*k1.e3*k2.e4*k3.e2*e1.e5*ss12*ss15 + 3/56*k1.e3*k2.e4*k3.e5*k4.e1*k4.e2*ss12 - k1.e3*k2.e4*k3.e5*e1.e2*ss34*ss45 + 13/56*k1.e3*k2.e4*k3.e5*e1.e2*ss12*ss45 + 1/7*k1.e3*k2.e4*k3.e5*e1.e2*ss12*ss34 + 13/56*k1.e3*k2.e4*k3.e5*e1.e2*ss12*ss15 - 3/28*k1.e3*k2.e4*k4.e1*e2.e5*ss12*ss34 + 3/8*k1.e3*k2.e4*k4.e1*e2.e5*ss12*ss23 + 3/56*k1.e3*k2.e4*k4.e2*e1.e5*ss12*ss34 + 13/56*k1.e3*k2.e4*k4.e2*e1.e5*ss12*ss23 + 1/8*k1.e3*k2.e5*k3.e1*k3.e4*k4.e2*ss12 + 5/8*k1.e3*k2.e5*k3.e1*e2.e4*ss12*ss45 - 19/56*k1.e3*k2.e5*k3.e1*e2.e4*ss12*ss34 - 2/7*k1.e3*k2.e5*k3.e1*e2.e4*ss12*ss23 + 19/56*k1.e3*k2.e5*k3.e1*e2.e4*ss12*ss15 - 1/14*k1.e3*k2.e5*k3.e1*e2.e4*ss12^2 + 1/14*k1.e3*k2.e5*k3.e2*k3.e4*k4.e1*ss12 - 5/8*k1.e3*k2.e5*k3.e2*e1.e4*ss12*ss45 - 1/8*k1.e3*k2.e5*k3.e2*e1.e4*ss12*ss34 - 2/7*k1.e3*k2.e5*k3.e2*e1.e4*ss12*ss23 + 27/56*k1.e3*k2.e5*k3.e2*e1.e4*ss12*ss15 + 27/56*k1.e3*k2.e5*k3.e2*e1.e4*ss12^2 + 3/56*k1.e3*k2.e5*k3.e4*k4.e1*k4.e2*ss12 + k1.e3*k2.e5*k3.e4*e1.e2*ss45^2 + k1.e3*k2.e5*k3.e4*e1.e2*ss34*ss45 - 13/14*k1.e3*k2.e5*k3.e4*e1.e2*ss12*ss45 - 1/7*k1.e3*k2.e5*k3.e4*e1.e2*ss12*ss34 + 4/7*k1.e3*k2.e5*k3.e4*e1.e2*ss12*ss23 - 13/56*k1.e3*k2.e5*k3.e4*e1.e2*ss12*ss15 + 1/14*k1.e3*k2.e5*k3.e4*e1.e2*ss12^2 - 3/28*k1.e3*k2.e5*k4.e1*e2.e4*ss12*ss34 - 3/7*k1.e3*k2.e5*k4.e1*e2.e4*ss12*ss23 + 3/56*k1.e3*k2.e5*k4.e2*e1.e4*ss12*ss34 - 2/7*k1.e3*k2.e5*k4.e2*e1.e4*ss12*ss23 - 3/56*k1.e3*k3.e1*k3.e2*e4.e5*ss12*ss45 + 11/56*k1.e3*k3.e1*k3.e2*e4.e5*ss12*ss34 + 1/4*k1.e3*k3.e1*k3.e2*e4.e5*ss12*ss23 - 1/4*k1.e3*k3.e1*k3.e2*e4.e5*ss12*ss15 + 3/56*k1.e3*k3.e1*k3.e4*k3.e5*k4.e2*ss12 + 13/56*k1.e3*k3.e1*k3.e4*e2.e5*ss12*ss34 + 13/56*k1.e3*k3.e1*k3.e4*e2.e5*ss12*ss23 - 13/56*k1.e3*k3.e1*k3.e4*e2.e5*ss12*ss15 + 31/56*k1.e3*k3.e1*k3.e5*e2.e4*ss12*ss45 - 19/56*k1.e3*k3.e1*k3.e5*e2.e4*ss12*ss34 - 2/7*k1.e3*k3.e1*k3.e5*e2.e4*ss12*ss23 + 19/56*k1.e3*k3.e1*k3.e5*e2.e4*ss12*ss15 - 1/14*k1.e3*k3.e1*k3.e5*e2.e4*ss12^2 + 1/2*k1.e3*k3.e1*k4.e2*e4.e5*ss12*ss45 - 3/14*k1.e3*k3.e1*k4.e2*e4.e5*ss12*ss34 - 9/56*k1.e3*k3.e1*k4.e2*e4.e5*ss12*ss23 + 3/14*k1.e3*k3.e1*k4.e2*e4.e5*ss12*ss15 - 1/14*k1.e3*k3.e1*k4.e2*e4.e5*ss12^2 + 3/56*k1.e3*k3.e2*k3.e4*k3.e5*k4.e1*ss12 - 25/56*k1.e3*k3.e2*k3.e4*e1.e5*ss12*ss45 + 1/14*k1.e3*k3.e2*k3.e4*e1.e5*ss12*ss34 + 29/56*k1.e3*k3.e2*k3.e4*e1.e5*ss12*ss23 - 29/56*k1.e3*k3.e2*k3.e4*e1.e5*ss12*ss15 - 1/2*k1.e3*k3.e2*k3.e5*e1.e4*ss12*ss45 - 1/8*k1.e3*k3.e2*k3.e5*e1.e4*ss12*ss34 - 3/7*k1.e3*k3.e2*k3.e5*e1.e4*ss12*ss23 + 5/8*k1.e3*k3.e2*k3.e5*e1.e4*ss12*ss15 + 27/56*k1.e3*k3.e2*k3.e5*e1.e4*ss12^2 - 31/56*k1.e3*k3.e2*k4.e1*e4.e5*ss12*ss45 - 17/56*k1.e3*k3.e2*k4.e1*e4.e5*ss12*ss23 + 1/2*k1.e3*k3.e2*k4.e1*e4.e5*ss12*ss15 + 27/56*k1.e3*k3.e2*k4.e1*e4.e5*ss12^2 + 3/28*k1.e3*k3.e4*k3.e5*k4.e1*k4.e2*ss12 - 31/56*k1.e3*k3.e4*k3.e5*e1.e2*ss12*ss45 + 19/56*k1.e3*k3.e4*k3.e5*e1.e2*ss12*ss23 + 1/14*k1.e3*k3.e4*k3.e5*e1.e2*ss12^2 - 31/56*k1.e3*k3.e4*k4.e1*e2.e5*ss12*ss45 - 3/28*k1.e3*k3.e4*k4.e1*e2.e5*ss12*ss34 + 13/56*k1.e3*k3.e4*k4.e1*e2.e5*ss12*ss23 + 1/14*k1.e3*k3.e4*k4.e1*e2.e5*ss12^2 + 1/2*k1.e3*k3.e4*k4.e2*e1.e5*ss12*ss45 + 3/56*k1.e3*k3.e4*k4.e2*e1.e5*ss12*ss34 + 3/8*k1.e3*k3.e4*k4.e2*e1.e5*ss12*ss23 - 1/14*k1.e3*k3.e4*k4.e2*e1.e5*ss12^2 + 31/56*k1.e3*k3.e5*k4.e1*e2.e4*ss12*ss45 - 3/28*k1.e3*k3.e5*k4.e1*e2.e4*ss12*ss34 - 2/7*k1.e3*k3.e5*k4.e1*e2.e4*ss12*ss23 - 1/14*k1.e3*k3.e5*k4.e1*e2.e4*ss12^2 - 1/2*k1.e3*k3.e5*k4.e2*e1.e4*ss12*ss45 + 3/56*k1.e3*k3.e5*k4.e2*e1.e4*ss12*ss34 - 3/7*k1.e3*k3.e5*k4.e2*e1.e4*ss12*ss23 + 1/14*k1.e3*k3.e5*k4.e2*e1.e4*ss12^2 - 5/7*k1.e3*k4.e1*k4.e2*e4.e5*ss12*ss23 + k1.e3*e1.e2*e4.e5*ss34^2*ss45 + k1.e3*e1.e2*e4.e5*ss23*ss34*ss45 - k1.e3*e1.e2*e4.e5*ss15*ss34*ss45 - 25/56*k1.e3*e1.e2*e4.e5*ss12*ss34*ss45 - 1/7*k1.e3*e1.e2*e4.e5*ss12*ss34^2 - 13/56*k1.e3*e1.e2*e4.e5*ss12*ss23*ss45 - 1/7*k1.e3*e1.e2*e4.e5*ss12*ss23*ss34 + 1/4*k1.e3*e1.e2*e4.e5*ss12*ss15*ss34 + 1/14*k1.e3*e1.e2*e4.e5*ss12^2*ss34 + 25/56*k1.e3*e1.e4*e2.e5*ss12*ss34*ss45 + 13/56*k1.e3*e1.e4*e2.e5*ss12*ss23*ss45 + 1/7*k1.e3*e1.e4*e2.e5*ss12*ss23*ss34 + 1/7*k1.e3*e1.e4*e2.e5*ss12*ss23^2 - 1/7*k1.e3*e1.e4*e2.e5*ss12*ss15*ss23 - 1/14*k1.e3*e1.e4*e2.e5*ss12^2*ss34 - 25/56*k1.e3*e1.e5*e2.e4*ss12*ss34*ss45 + 3/8*k1.e3*e1.e5*e2.e4*ss12*ss23*ss45 - 1/7*k1.e3*e1.e5*e2.e4*ss12*ss23*ss34 - 1/7*k1.e3*e1.e5*e2.e4*ss12*ss23^2 + 1/7*k1.e3*e1.e5*e2.e4*ss12*ss15*ss23 + 1/14*k1.e3*e1.e5*e2.e4*ss12^2*ss34 + 1/14*k1.e4*k1.e5*k2.e1*k2.e3*k3.e2*ss12 + 1/14*k1.e4*k1.e5*k2.e1*e2.e3*ss12*ss45 - 1/7*k1.e4*k1.e5*k2.e1*e2.e3*ss12*ss23 - 1/14*k1.e4*k1.e5*k2.e1*e2.e3*ss12^2 + 11/56*k1.e4*k1.e5*k2.e3*k3.e1*k3.e2*ss12 + 3/56*k1.e4*k1.e5*k2.e3*k3.e1*k4.e2*ss12 - 13/56*k1.e4*k1.e5*k2.e3*e1.e2*ss12*ss45 + 13/56*k1.e4*k1.e5*k2.e3*e1.e2*ss12*ss23 + 13/56*k1.e4*k1.e5*k2.e3*e1.e2*ss12^2 + 3/56*k1.e4*k1.e5*k3.e1*k3.e2*k4.e3*ss12 + 3/28*k1.e4*k1.e5*k3.e1*k4.e2*k4.e3*ss12 - 31/56*k1.e4*k1.e5*k3.e1*e2.e3*ss12*ss45 + 23/56*k1.e4*k1.e5*k3.e1*e2.e3*ss12^2 + 1/2*k1.e4*k1.e5*k3.e2*e1.e3*ss12*ss45 - 3/56*k1.e4*k1.e5*k3.e2*e1.e3*ss12*ss34 - 1/7*k1.e4*k1.e5*k3.e2*e1.e3*ss12*ss23 - 5/14*k1.e4*k1.e5*k3.e2*e1.e3*ss12^2 - 3/56*k1.e4*k1.e5*k4.e2*e1.e3*ss12*ss45 - 3/28*k1.e4*k1.e5*k4.e2*e1.e3*ss12*ss34 + 3/56*k1.e4*k1.e5*k4.e2*e1.e3*ss12^2 + 1/14*k1.e4*k2.e1*k2.e3*k2.e5*k3.e2*ss12 + 1/14*k1.e4*k2.e1*k2.e3*k3.e2*k3.e5*ss12 + 1/14*k1.e4*k2.e1*k2.e3*k3.e5*k4.e2*ss12 - k1.e4*k2.e1*k2.e3*e2.e5*ss34*ss45 + 3/7*k1.e4*k2.e1*k2.e3*e2.e5*ss12*ss34 - 3/56*k1.e4*k2.e1*k2.e5*k3.e2*k4.e3*ss12 + 1/14*k1.e4*k2.e1*k2.e5*e2.e3*ss12*ss45 + 3/56*k1.e4*k2.e1*k2.e5*e2.e3*ss12*ss34 - 1/7*k1.e4*k2.e1*k2.e5*e2.e3*ss12*ss23 - 1/14*k1.e4*k2.e1*k2.e5*e2.e3*ss12^2 - 1/14*k1.e4*k2.e1*k3.e2*k3.e5*k4.e3*ss12 + k1.e4*k2.e1*k3.e2*e3.e5*ss34*ss45 - 3/8*k1.e4*k2.e1*k3.e2*e3.e5*ss12*ss34 - 17/56*k1.e4*k2.e1*k3.e2*e3.e5*ss12*ss23 + 17/56*k1.e4*k2.e1*k3.e2*e3.e5*ss12*ss15 - k1.e4*k2.e1*k3.e5*e2.e3*ss34*ss45 + 1/14*k1.e4*k2.e1*k3.e5*e2.e3*ss12*ss45 + 25/56*k1.e4*k2.e1*k3.e5*e2.e3*ss12*ss34 + 9/56*k1.e4*k2.e1*k3.e5*e2.e3*ss12*ss23 - 17/56*k1.e4*k2.e1*k3.e5*e2.e3*ss12*ss15 - 1/14*k1.e4*k2.e1*k3.e5*e2.e3*ss12^2 + 1/14*k1.e4*k2.e1*k4.e2*e3.e5*ss12*ss45 - 1/7*k1.e4*k2.e1*k4.e2*e3.e5*ss12*ss23 - 1/14*k1.e4*k2.e1*k4.e2*e3.e5*ss12^2 + k1.e4*k2.e1*k4.e3*e2.e5*ss45^2 - 11/8*k1.e4*k2.e1*k4.e3*e2.e5*ss12*ss45 - 3/56*k1.e4*k2.e1*k4.e3*e2.e5*ss12*ss23 + 3/8*k1.e4*k2.e1*k4.e3*e2.e5*ss12^2 + 11/56*k1.e4*k2.e3*k2.e5*k3.e1*k3.e2*ss12 - 1/56*k1.e4*k2.e3*k2.e5*k3.e1*k4.e2*ss12 + 1/14*k1.e4*k2.e3*k2.e5*k3.e2*k4.e1*ss12 + k1.e4*k2.e3*k2.e5*e1.e2*ss34*ss45 - 13/56*k1.e4*k2.e3*k2.e5*e1.e2*ss12*ss45 - 27/56*k1.e4*k2.e3*k2.e5*e1.e2*ss12*ss34 + 13/56*k1.e4*k2.e3*k2.e5*e1.e2*ss12*ss23 + 13/56*k1.e4*k2.e3*k2.e5*e1.e2*ss12^2 + 11/56*k1.e4*k2.e3*k3.e1*k3.e2*k3.e5*ss12 + 1/14*k1.e4*k2.e3*k3.e1*k3.e5*k4.e2*ss12 + 17/56*k1.e4*k2.e3*k3.e1*e2.e5*ss12*ss34 + 3/8*k1.e4*k2.e3*k3.e1*e2.e5*ss12*ss23 - 3/8*k1.e4*k2.e3*k3.e1*e2.e5*ss12*ss15 + 1/14*k1.e4*k2.e3*k3.e2*k3.e5*k4.e1*ss12 + 13/56*k1.e4*k2.e3*k3.e2*e1.e5*ss12*ss23 - 13/56*k1.e4*k2.e3*k3.e2*e1.e5*ss12*ss15 - 3/56*k1.e4*k2.e3*k3.e5*k4.e1*k4.e2*ss12 + k1.e4*k2.e3*k3.e5*e1.e2*ss34*ss45 - 13/56*k1.e4*k2.e3*k3.e5*e1.e2*ss12*ss45 - 3/8*k1.e4*k2.e3*k3.e5*e1.e2*ss12*ss34 + 13/56*k1.e4*k2.e3*k3.e5*e1.e2*ss12*ss15 + 13/56*k1.e4*k2.e3*k3.e5*e1.e2*ss12^2 - 13/56*k1.e4*k2.e3*k4.e1*e2.e5*ss12*ss45 - 3/56*k1.e4*k2.e3*k4.e1*e2.e5*ss12*ss34 + 13/56*k1.e4*k2.e3*k4.e1*e2.e5*ss12*ss23 + 13/56*k1.e4*k2.e3*k4.e1*e2.e5*ss12^2 - 3/8*k1.e4*k2.e3*k4.e2*e1.e5*ss12*ss45 + 3/28*k1.e4*k2.e3*k4.e2*e1.e5*ss12*ss34 + 3/8*k1.e4*k2.e3*k4.e2*e1.e5*ss12*ss23 + 3/8*k1.e4*k2.e3*k4.e2*e1.e5*ss12^2 + 11/56*k1.e4*k2.e5*k3.e1*k3.e2*k4.e3*ss12 + 3/56*k1.e4*k2.e5*k3.e1*k4.e2*k4.e3*ss12 - 31/56*k1.e4*k2.e5*k3.e1*e2.e3*ss12*ss45 - 3/14*k1.e4*k2.e5*k3.e1*e2.e3*ss12*ss34 - 2/7*k1.e4*k2.e5*k3.e1*e2.e3*ss12*ss23 + 2/7*k1.e4*k2.e5*k3.e1*e2.e3*ss12*ss15 + 23/56*k1.e4*k2.e5*k3.e1*e2.e3*ss12^2 - 3/56*k1.e4*k2.e5*k3.e2*k4.e1*k4.e3*ss12 + 1/2*k1.e4*k2.e5*k3.e2*e1.e3*ss12*ss45 + 1/56*k1.e4*k2.e5*k3.e2*e1.e3*ss12*ss34 + 1/7*k1.e4*k2.e5*k3.e2*e1.e3*ss12*ss23 - 2/7*k1.e4*k2.e5*k3.e2*e1.e3*ss12*ss15 - 5/14*k1.e4*k2.e5*k3.e2*e1.e3*ss12^2 + 1/14*k1.e4*k2.e5*k4.e1*e2.e3*ss12*ss45 + 3/56*k1.e4*k2.e5*k4.e1*e2.e3*ss12*ss34 - 1/7*k1.e4*k2.e5*k4.e1*e2.e3*ss12*ss23 - 1/14*k1.e4*k2.e5*k4.e1*e2.e3*ss12^2 - 1/8*k1.e4*k2.e5*k4.e2*e1.e3*ss12*ss45 - 3/56*k1.e4*k2.e5*k4.e2*e1.e3*ss12*ss34 + 1/7*k1.e4*k2.e5*k4.e2*e1.e3*ss12*ss23 + 1/8*k1.e4*k2.e5*k4.e2*e1.e3*ss12^2 - k1.e4*k2.e5*k4.e3*e1.e2*ss45^2 + 83/56*k1.e4*k2.e5*k4.e3*e1.e2*ss12*ss45 - 27/56*k1.e4*k2.e5*k4.e3*e1.e2*ss12^2 + 3/56*k1.e4*k3.e1*k3.e2*k3.e5*k4.e3*ss12 - 5/14*k1.e4*k3.e1*k3.e2*e3.e5*ss12*ss34 - 6/7*k1.e4*k3.e1*k3.e2*e3.e5*ss12*ss23 + 6/7*k1.e4*k3.e1*k3.e2*e3.e5*ss12*ss15 + 3/56*k1.e4*k3.e1*k3.e5*k4.e2*k4.e3*ss12 - 31/56*k1.e4*k3.e1*k3.e5*e2.e3*ss12*ss45 + 5/28*k1.e4*k3.e1*k3.e5*e2.e3*ss12*ss34 + 2/7*k1.e4*k3.e1*k3.e5*e2.e3*ss12*ss23 - 2/7*k1.e4*k3.e1*k3.e5*e2.e3*ss12*ss15 + 23/56*k1.e4*k3.e1*k3.e5*e2.e3*ss12^2 - 31/56*k1.e4*k3.e1*k4.e2*e3.e5*ss12*ss45 - 25/56*k1.e4*k3.e1*k4.e2*e3.e5*ss12*ss23 - 3/56*k1.e4*k3.e1*k4.e2*e3.e5*ss12*ss15 - 25/56*k1.e4*k3.e1*k4.e3*e2.e5*ss12*ss45 - 3/28*k1.e4*k3.e1*k4.e3*e2.e5*ss12*ss23 + 3/28*k1.e4*k3.e1*k4.e3*e2.e5*ss12*ss15 + 17/56*k1.e4*k3.e1*k4.e3*e2.e5*ss12^2 + 1/2*k1.e4*k3.e2*k3.e5*e1.e3*ss12*ss45 + 1/8*k1.e4*k3.e2*k3.e5*e1.e3*ss12*ss34 + 3/7*k1.e4*k3.e2*k3.e5*e1.e3*ss12*ss23 - 4/7*k1.e4*k3.e2*k3.e5*e1.e3*ss12*ss15 - 5/14*k1.e4*k3.e2*k3.e5*e1.e3*ss12^2 + 1/2*k1.e4*k3.e2*k4.e1*e3.e5*ss12*ss45 + 3/56*k1.e4*k3.e2*k4.e1*e3.e5*ss12*ss34 - 17/56*k1.e4*k3.e2*k4.e1*e3.e5*ss12*ss23 - 3/56*k1.e4*k3.e2*k4.e1*e3.e5*ss12*ss15 - 5/14*k1.e4*k3.e2*k4.e1*e3.e5*ss12^2 + k1.e4*k3.e2*k4.e3*e1.e5*ss12*ss45 - 3/28*k1.e4*k3.e2*k4.e3*e1.e5*ss12*ss34 - 1/4*k1.e4*k3.e2*k4.e3*e1.e5*ss12*ss23 + 3/28*k1.e4*k3.e2*k4.e3*e1.e5*ss12*ss15 - 25/56*k1.e4*k3.e2*k4.e3*e1.e5*ss12^2 - 31/56*k1.e4*k3.e5*k4.e1*e2.e3*ss12*ss45 - 3/56*k1.e4*k3.e5*k4.e1*e2.e3*ss12*ss34 + 2/7*k1.e4*k3.e5*k4.e1*e2.e3*ss12*ss23 + 3/56*k1.e4*k3.e5*k4.e1*e2.e3*ss12*ss15 + 23/56*k1.e4*k3.e5*k4.e1*e2.e3*ss12^2 + 1/2*k1.e4*k3.e5*k4.e2*e1.e3*ss12*ss45 - 3/56*k1.e4*k3.e5*k4.e2*e1.e3*ss12*ss34 + 3/7*k1.e4*k3.e5*k4.e2*e1.e3*ss12*ss23 + 3/56*k1.e4*k3.e5*k4.e2*e1.e3*ss12*ss15 + 3/56*k1.e4*k3.e5*k4.e2*e1.e3*ss12^2 + 31/56*k1.e4*k3.e5*k4.e3*e1.e2*ss12*ss45 - 19/56*k1.e4*k3.e5*k4.e3*e1.e2*ss12*ss23 - 23/56*k1.e4*k3.e5*k4.e3*e1.e2*ss12^2 - 3/56*k1.e4*k4.e1*k4.e2*e3.e5*ss12*ss45 + 3/28*k1.e4*k4.e1*k4.e2*e3.e5*ss12*ss23 + 3/56*k1.e4*k4.e1*k4.e2*e3.e5*ss12^2 + 3/28*k1.e4*k4.e1*k4.e3*e2.e5*ss12*ss45 - 3/56*k1.e4*k4.e1*k4.e3*e2.e5*ss12*ss23 - 3/28*k1.e4*k4.e1*k4.e3*e2.e5*ss12^2 - 3/56*k1.e4*k4.e2*k4.e3*e1.e5*ss12*ss45 - 3/56*k1.e4*k4.e2*k4.e3*e1.e5*ss12*ss23 + 3/56*k1.e4*k4.e2*k4.e3*e1.e5*ss12^2 - k1.e4*e1.e2*e3.e5*ss23*ss34*ss45 - 3/14*k1.e4*e1.e2*e3.e5*ss12*ss34*ss45 + 13/56*k1.e4*e1.e2*e3.e5*ss12*ss23*ss45 + 3/8*k1.e4*e1.e2*e3.e5*ss12*ss23*ss34 - 13/56*k1.e4*e1.e2*e3.e5*ss12*ss15*ss45 + 1/14*k1.e4*e1.e2*e3.e5*ss12^2*ss34 - 13/56*k1.e4*e1.e2*e3.e5*ss12^2*ss23 + 13/56*k1.e4*e1.e2*e3.e5*ss12^2*ss15 + 3/14*k1.e4*e1.e3*e2.e5*ss12*ss34*ss45 - 13/56*k1.e4*e1.e3*e2.e5*ss12*ss23*ss45 + 1/28*k1.e4*e1.e3*e2.e5*ss12*ss23*ss34 - 1/7*k1.e4*e1.e3*e2.e5*ss12*ss23^2 + 13/56*k1.e4*e1.e3*e2.e5*ss12*ss15*ss45 - 3/28*k1.e4*e1.e3*e2.e5*ss12*ss15*ss34 + 1/7*k1.e4*e1.e3*e2.e5*ss12*ss15*ss23 - 1/14*k1.e4*e1.e3*e2.e5*ss12^2*ss34 + 13/56*k1.e4*e1.e3*e2.e5*ss12^2*ss23 - 13/56*k1.e4*e1.e3*e2.e5*ss12^2*ss15 - 13/14*k1.e4*e1.e5*e2.e3*ss12*ss34*ss45 + 3/28*k1.e4*e1.e5*e2.e3*ss12*ss34^2 - 3/8*k1.e4*e1.e5*e2.e3*ss12*ss23*ss45 + 5/28*k1.e4*e1.e5*e2.e3*ss12*ss23*ss34 + 1/7*k1.e4*e1.e5*e2.e3*ss12*ss23^2 + 3/8*k1.e4*e1.e5*e2.e3*ss12*ss15*ss45 - 3/28*k1.e4*e1.e5*e2.e3*ss12*ss15*ss34 - 1/7*k1.e4*e1.e5*e2.e3*ss12*ss15*ss23 + 3/8*k1.e4*e1.e5*e2.e3*ss12^2*ss34 + 3/8*k1.e4*e1.e5*e2.e3*ss12^2*ss23 - 3/8*k1.e4*e1.e5*e2.e3*ss12^2*ss15 - 3/56*k1.e5*k2.e1*k2.e3*k3.e2*k3.e4*ss12 - 1/8*k1.e5*k2.e1*k2.e3*k3.e4*k4.e2*ss12 + k1.e5*k2.e1*k2.e3*e2.e4*ss34*ss45 + 13/56*k1.e5*k2.e1*k2.e3*e2.e4*ss12*ss45 - 27/56*k1.e5*k2.e1*k2.e3*e2.e4*ss12*ss34 - 13/56*k1.e5*k2.e1*k2.e3*e2.e4*ss12*ss23 - 13/56*k1.e5*k2.e1*k2.e3*e2.e4*ss12^2 + 1/14*k1.e5*k2.e1*k3.e2*k3.e4*k4.e3*ss12 - k1.e5*k2.e1*k3.e2*e3.e4*ss45^2 - k1.e5*k2.e1*k3.e2*e3.e4*ss34*ss45 + 25/56*k1.e5*k2.e1*k3.e2*e3.e4*ss12*ss45 + 3/7*k1.e5*k2.e1*k3.e2*e3.e4*ss12*ss34 + 17/28*k1.e5*k2.e1*k3.e2*e3.e4*ss12*ss23 - 5/14*k1.e5*k2.e1*k3.e2*e3.e4*ss12*ss15 + 3/56*k1.e5*k2.e1*k3.e2*e3.e4*ss12^2 + k1.e5*k2.e1*k3.e4*e2.e3*ss45^2 + k1.e5*k2.e1*k3.e4*e2.e3*ss34*ss45 - 29/56*k1.e5*k2.e1*k3.e4*e2.e3*ss12*ss45 - 1/2*k1.e5*k2.e1*k3.e4*e2.e3*ss12*ss34 - 27/56*k1.e5*k2.e1*k3.e4*e2.e3*ss12*ss23 + 5/14*k1.e5*k2.e1*k3.e4*e2.e3*ss12*ss15 + 1/56*k1.e5*k2.e1*k3.e4*e2.e3*ss12^2 - 1/8*k1.e5*k2.e1*k4.e2*e3.e4*ss12*ss45 + 1/4*k1.e5*k2.e1*k4.e2*e3.e4*ss12*ss23 + 1/8*k1.e5*k2.e1*k4.e2*e3.e4*ss12^2 - k1.e5*k2.e1*k4.e3*e2.e4*ss45^2 + 83/56*k1.e5*k2.e1*k4.e3*e2.e4*ss12*ss45 - 27/56*k1.e5*k2.e1*k4.e3*e2.e4*ss12^2 - 3/56*k1.e5*k2.e3*k2.e4*k3.e1*k3.e2*ss12 + 1/14*k1.e5*k2.e3*k2.e4*k3.e1*k4.e2*ss12 - 1/8*k1.e5*k2.e3*k2.e4*k3.e2*k4.e1*ss12 - k1.e5*k2.e3*k2.e4*e1.e2*ss34*ss45 - 13/56*k1.e5*k2.e3*k2.e4*e1.e2*ss12*ss45 + 27/56*k1.e5*k2.e3*k2.e4*e1.e2*ss12*ss34 + 13/56*k1.e5*k2.e3*k2.e4*e1.e2*ss12*ss23 + 13/56*k1.e5*k2.e3*k2.e4*e1.e2*ss12^2 - 1/14*k1.e5*k2.e3*k3.e1*k3.e4*k4.e2*ss12 + 51/56*k1.e5*k2.e3*k3.e1*e2.e4*ss12*ss45 - 5/14*k1.e5*k2.e3*k3.e1*e2.e4*ss12*ss34 - 2/7*k1.e5*k2.e3*k3.e1*e2.e4*ss12*ss23 + 27/56*k1.e5*k2.e3*k3.e1*e2.e4*ss12*ss15 - 2/7*k1.e5*k2.e3*k3.e1*e2.e4*ss12^2 - 1/8*k1.e5*k2.e3*k3.e2*k3.e4*k4.e1*ss12 - 19/56*k1.e5*k2.e3*k3.e2*e1.e4*ss12*ss45 - 2/7*k1.e5*k2.e3*k3.e2*e1.e4*ss12*ss23 + 19/56*k1.e5*k2.e3*k3.e2*e1.e4*ss12*ss15 + 1/8*k1.e5*k2.e3*k3.e2*e1.e4*ss12^2 - 3/56*k1.e5*k2.e3*k3.e4*k4.e1*k4.e2*ss12 - k1.e5*k2.e3*k3.e4*e1.e2*ss45^2 - k1.e5*k2.e3*k3.e4*e1.e2*ss34*ss45 + 5/14*k1.e5*k2.e3*k3.e4*e1.e2*ss12*ss45 + 3/8*k1.e5*k2.e3*k3.e4*e1.e2*ss12*ss34 + 4/7*k1.e5*k2.e3*k3.e4*e1.e2*ss12*ss23 - 13/56*k1.e5*k2.e3*k3.e4*e1.e2*ss12*ss15 + 15/56*k1.e5*k2.e3*k3.e4*e1.e2*ss12^2 + 2/7*k1.e5*k2.e3*k4.e1*e2.e4*ss12*ss45 - 3/56*k1.e5*k2.e3*k4.e1*e2.e4*ss12*ss34 - 2/7*k1.e5*k2.e3*k4.e1*e2.e4*ss12*ss23 - 2/7*k1.e5*k2.e3*k4.e1*e2.e4*ss12^2 + 3/7*k1.e5*k2.e3*k4.e2*e1.e4*ss12*ss45 + 3/28*k1.e5*k2.e3*k4.e2*e1.e4*ss12*ss34 - 3/7*k1.e5*k2.e3*k4.e2*e1.e4*ss12*ss23 - 3/7*k1.e5*k2.e3*k4.e2*e1.e4*ss12^2 - 11/56*k1.e5*k2.e4*k3.e1*k3.e2*k4.e3*ss12 + 3/56*k1.e5*k2.e4*k3.e1*k4.e2*k4.e3*ss12 - 9/14*k1.e5*k2.e4*k3.e1*e2.e3*ss12*ss45 + 15/56*k1.e5*k2.e4*k3.e1*e2.e3*ss12*ss34 + 1/7*k1.e5*k2.e4*k3.e1*e2.e3*ss12*ss23 - 2/7*k1.e5*k2.e4*k3.e1*e2.e3*ss12*ss15 + 3/14*k1.e5*k2.e4*k3.e1*e2.e3*ss12^2 - 3/56*k1.e5*k2.e4*k3.e2*k4.e1*k4.e3*ss12 + 47/56*k1.e5*k2.e4*k3.e2*e1.e3*ss12*ss45 - 1/14*k1.e5*k2.e4*k3.e2*e1.e3*ss12*ss34 - 2/7*k1.e5*k2.e4*k3.e2*e1.e3*ss12*ss23 + 2/7*k1.e5*k2.e4*k3.e2*e1.e3*ss12*ss15 - 23/56*k1.e5*k2.e4*k3.e2*e1.e3*ss12^2 - 1/56*k1.e5*k2.e4*k4.e1*e2.e3*ss12*ss45 + 3/56*k1.e5*k2.e4*k4.e1*e2.e3*ss12*ss34 + 1/7*k1.e5*k2.e4*k4.e1*e2.e3*ss12*ss23 + 1/56*k1.e5*k2.e4*k4.e1*e2.e3*ss12^2 + 1/14*k1.e5*k2.e4*k4.e2*e1.e3*ss12*ss45 - 3/56*k1.e5*k2.e4*k4.e2*e1.e3*ss12*ss34 - 1/7*k1.e5*k2.e4*k4.e2*e1.e3*ss12*ss23 - 1/14*k1.e5*k2.e4*k4.e2*e1.e3*ss12^2 + k1.e5*k2.e4*k4.e3*e1.e2*ss45^2 - 83/56*k1.e5*k2.e4*k4.e3*e1.e2*ss12*ss45 + 27/56*k1.e5*k2.e4*k4.e3*e1.e2*ss12^2 - 31/56*k1.e5*k3.e1*k3.e2*e3.e4*ss12*ss45 + 23/56*k1.e5*k3.e1*k3.e2*e3.e4*ss12*ss34 + 27/28*k1.e5*k3.e1*k3.e2*e3.e4*ss12*ss23 - 27/28*k1.e5*k3.e1*k3.e2*e3.e4*ss12*ss15 + 3/56*k1.e5*k3.e1*k3.e4*k4.e2*k4.e3*ss12 + 3/28*k1.e5*k3.e1*k3.e4*e2.e3*ss12*ss45 - 13/56*k1.e5*k3.e1*k3.e4*e2.e3*ss12*ss34 - 19/56*k1.e5*k3.e1*k3.e4*e2.e3*ss12*ss23 + 19/56*k1.e5*k3.e1*k3.e4*e2.e3*ss12*ss15 + 13/56*k1.e5*k3.e1*k3.e4*e2.e3*ss12^2 + 25/56*k1.e5*k3.e1*k4.e2*e3.e4*ss12*ss45 + 17/28*k1.e5*k3.e1*k4.e2*e3.e4*ss12*ss23 - 3/56*k1.e5*k3.e1*k4.e2*e3.e4*ss12*ss15 + 3/56*k1.e5*k3.e1*k4.e2*e3.e4*ss12^2 + 37/56*k1.e5*k3.e1*k4.e3*e2.e4*ss12*ss45 - 3/56*k1.e5*k3.e1*k4.e3*e2.e4*ss12*ss23 + 3/28*k1.e5*k3.e1*k4.e3*e2.e4*ss12*ss15 - 23/56*k1.e5*k3.e1*k4.e3*e2.e4*ss12^2 + 25/56*k1.e5*k3.e2*k3.e4*e1.e3*ss12*ss45 - 5/28*k1.e5*k3.e2*k3.e4*e1.e3*ss12*ss34 - 5/8*k1.e5*k3.e2*k3.e4*e1.e3*ss12*ss23 + 5/8*k1.e5*k3.e2*k3.e4*e1.e3*ss12*ss15 - 13/56*k1.e5*k3.e2*k3.e4*e1.e3*ss12^2 - 31/56*k1.e5*k3.e2*k4.e1*e3.e4*ss12*ss45 + 3/56*k1.e5*k3.e2*k4.e1*e3.e4*ss12*ss34 + 13/28*k1.e5*k3.e2*k4.e1*e3.e4*ss12*ss23 - 3/56*k1.e5*k3.e2*k4.e1*e3.e4*ss12*ss15 + 5/14*k1.e5*k3.e2*k4.e1*e3.e4*ss12^2 - 59/56*k1.e5*k3.e2*k4.e3*e1.e4*ss12*ss45 - 3/28*k1.e5*k3.e2*k4.e3*e1.e4*ss12*ss34 + 5/56*k1.e5*k3.e2*k4.e3*e1.e4*ss12*ss23 + 3/28*k1.e5*k3.e2*k4.e3*e1.e4*ss12*ss15 + 17/28*k1.e5*k3.e2*k4.e3*e1.e4*ss12^2 + 31/56*k1.e5*k3.e4*k4.e1*e2.e3*ss12*ss45 - 3/56*k1.e5*k3.e4*k4.e1*e2.e3*ss12*ss34 - 19/56*k1.e5*k3.e4*k4.e1*e2.e3*ss12*ss23 + 3/56*k1.e5*k3.e4*k4.e1*e2.e3*ss12*ss15 - 5/14*k1.e5*k3.e4*k4.e1*e2.e3*ss12^2 - 1/2*k1.e5*k3.e4*k4.e2*e1.e3*ss12*ss45 - 3/56*k1.e5*k3.e4*k4.e2*e1.e3*ss12*ss34 - 27/56*k1.e5*k3.e4*k4.e2*e1.e3*ss12*ss23 + 3/56*k1.e5*k3.e4*k4.e2*e1.e3*ss12*ss15 - 31/56*k1.e5*k3.e4*k4.e3*e1.e2*ss12*ss45 + 19/56*k1.e5*k3.e4*k4.e3*e1.e2*ss12*ss23 + 23/56*k1.e5*k3.e4*k4.e3*e1.e2*ss12^2 - 3/56*k1.e5*k4.e1*k4.e2*e3.e4*ss12*ss45 + 3/28*k1.e5*k4.e1*k4.e2*e3.e4*ss12*ss23 + 3/56*k1.e5*k4.e1*k4.e2*e3.e4*ss12^2 + 3/28*k1.e5*k4.e1*k4.e3*e2.e4*ss12*ss45 - 3/56*k1.e5*k4.e1*k4.e3*e2.e4*ss12*ss23 - 3/28*k1.e5*k4.e1*k4.e3*e2.e4*ss12^2 - 3/56*k1.e5*k4.e2*k4.e3*e1.e4*ss12*ss45 - 3/56*k1.e5*k4.e2*k4.e3*e1.e4*ss12*ss23 + 3/56*k1.e5*k4.e2*k4.e3*e1.e4*ss12^2 + k1.e5*e1.e2*e3.e4*ss23*ss45^2 + k1.e5*e1.e2*e3.e4*ss23*ss34*ss45 + 25/56*k1.e5*e1.e2*e3.e4*ss12*ss45^2 + 3/14*k1.e5*e1.e2*e3.e4*ss12*ss34*ss45 - 11/8*k1.e5*e1.e2*e3.e4*ss12*ss23*ss45 - 3/8*k1.e5*e1.e2*e3.e4*ss12*ss23*ss34 + 13/56*k1.e5*e1.e2*e3.e4*ss12*ss15*ss45 - 29/56*k1.e5*e1.e2*e3.e4*ss12^2*ss45 - 1/14*k1.e5*e1.e2*e3.e4*ss12^2*ss34 + 3/8*k1.e5*e1.e2*e3.e4*ss12^2*ss23 - 13/56*k1.e5*e1.e2*e3.e4*ss12^2*ss15 + 1/14*k1.e5*e1.e2*e3.e4*ss12^3 - 31/56*k1.e5*e1.e3*e2.e4*ss12*ss45^2 - 9/28*k1.e5*e1.e3*e2.e4*ss12*ss34*ss45 - 1/14*k1.e5*e1.e3*e2.e4*ss12*ss23*ss45 + 1/14*k1.e5*e1.e3*e2.e4*ss12*ss23*ss34 - 19/56*k1.e5*e1.e3*e2.e4*ss12*ss15*ss45 - 3/28*k1.e5*e1.e3*e2.e4*ss12*ss15*ss34 - 1/7*k1.e5*e1.e3*e2.e4*ss12*ss15*ss23 + 5/8*k1.e5*e1.e3*e2.e4*ss12^2*ss45 + 1/14*k1.e5*e1.e3*e2.e4*ss12^2*ss34 - 1/14*k1.e5*e1.e3*e2.e4*ss12^2*ss23 + 19/56*k1.e5*e1.e3*e2.e4*ss12^2*ss15 - 1/14*k1.e5*e1.e3*e2.e4*ss12^3 + 31/56*k1.e5*e1.e4*e2.e3*ss12*ss45^2 + 29/28*k1.e5*e1.e4*e2.e3*ss12*ss34*ss45 + 3/28*k1.e5*e1.e4*e2.e3*ss12*ss34^2 + 1/14*k1.e5*e1.e4*e2.e3*ss12*ss23*ss45 - 1/14*k1.e5*e1.e4*e2.e3*ss12*ss23*ss34 - 27/56*k1.e5*e1.e4*e2.e3*ss12*ss15*ss45 - 3/28*k1.e5*e1.e4*e2.e3*ss12*ss15*ss34 + 1/7*k1.e5*e1.e4*e2.e3*ss12*ss15*ss23 - 29/28*k1.e5*e1.e4*e2.e3*ss12^2*ss45 - 33/56*k1.e5*e1.e4*e2.e3*ss12^2*ss34 + 1/14*k1.e5*e1.e4*e2.e3*ss12^2*ss23 + 27/56*k1.e5*e1.e4*e2.e3*ss12^2*ss15 + 27/56*k1.e5*e1.e4*e2.e3*ss12^3 - k2.e1*k2.e3*k2.e4*e2.e5*ss34*ss45 + 1/2*k2.e1*k2.e3*k2.e4*e2.e5*ss12*ss34 - 3/56*k2.e1*k2.e3*k2.e5*k3.e2*k3.e4*ss12 - 3/56*k2.e1*k2.e3*k2.e5*k3.e4*k4.e2*ss12 + k2.e1*k2.e3*k2.e5*e2.e4*ss34*ss45 + 13/56*k2.e1*k2.e3*k2.e5*e2.e4*ss12*ss45 - 31/56*k2.e1*k2.e3*k2.e5*e2.e4*ss12*ss34 - 13/56*k2.e1*k2.e3*k2.e5*e2.e4*ss12*ss23 - 13/56*k2.e1*k2.e3*k2.e5*e2.e4*ss12^2 - 3/56*k2.e1*k2.e3*k3.e2*k3.e4*k3.e5*ss12 - 1/14*k2.e1*k2.e3*k3.e2*e4.e5*ss12*ss45 - 3/56*k2.e1*k2.e3*k3.e2*e4.e5*ss12*ss34 + 1/14*k2.e1*k2.e3*k3.e2*e4.e5*ss12*ss23 - 1/14*k2.e1*k2.e3*k3.e2*e4.e5*ss12*ss15 - 3/56*k2.e1*k2.e3*k3.e4*k3.e5*k4.e2*ss12 - k2.e1*k2.e3*k3.e4*e2.e5*ss45^2 - k2.e1*k2.e3*k3.e4*e2.e5*ss34*ss45 + 3/7*k2.e1*k2.e3*k3.e4*e2.e5*ss12*ss45 + 1/2*k2.e1*k2.e3*k3.e4*e2.e5*ss12*ss34 + 1/14*k2.e1*k2.e3*k3.e4*e2.e5*ss12*ss23 - 1/14*k2.e1*k2.e3*k3.e4*e2.e5*ss12*ss15 + k2.e1*k2.e3*k3.e5*e2.e4*ss34*ss45 + 17/56*k2.e1*k2.e3*k3.e5*e2.e4*ss12*ss45 - 31/56*k2.e1*k2.e3*k3.e5*e2.e4*ss12*ss34 - 17/56*k2.e1*k2.e3*k3.e5*e2.e4*ss12*ss23 + 1/14*k2.e1*k2.e3*k3.e5*e2.e4*ss12*ss15 - 13/56*k2.e1*k2.e3*k3.e5*e2.e4*ss12^2 + k2.e1*k2.e3*k4.e2*e4.e5*ss34*ss45 + 13/56*k2.e1*k2.e3*k4.e2*e4.e5*ss12*ss45 - 17/28*k2.e1*k2.e3*k4.e2*e4.e5*ss12*ss34 - 13/56*k2.e1*k2.e3*k4.e2*e4.e5*ss12*ss23 - 13/56*k2.e1*k2.e3*k4.e2*e4.e5*ss12^2 - 3/56*k2.e1*k2.e4*k2.e5*k3.e2*k4.e3*ss12 + 3/56*k2.e1*k2.e4*k2.e5*e2.e3*ss12*ss34 + k2.e1*k2.e4*k3.e2*e3.e5*ss34*ss45 + 17/56*k2.e1*k2.e4*k3.e2*e3.e5*ss12*ss45 - 25/56*k2.e1*k2.e4*k3.e2*e3.e5*ss12*ss34 - 17/56*k2.e1*k2.e4*k3.e2*e3.e5*ss12*ss23 + 17/56*k2.e1*k2.e4*k3.e2*e3.e5*ss12*ss15 - k2.e1*k2.e4*k3.e5*e2.e3*ss34*ss45 - 17/56*k2.e1*k2.e4*k3.e5*e2.e3*ss12*ss45 + 25/56*k2.e1*k2.e4*k3.e5*e2.e3*ss12*ss34 + 17/56*k2.e1*k2.e4*k3.e5*e2.e3*ss12*ss23 - 17/56*k2.e1*k2.e4*k3.e5*e2.e3*ss12*ss15 + k2.e1*k2.e4*k4.e3*e2.e5*ss45^2 - 73/56*k2.e1*k2.e4*k4.e3*e2.e5*ss12*ss45 - 11/56*k2.e1*k2.e4*k4.e3*e2.e5*ss12*ss23 + 17/56*k2.e1*k2.e4*k4.e3*e2.e5*ss12^2 - 3/56*k2.e1*k2.e5*k3.e2*k3.e4*k4.e3*ss12 - k2.e1*k2.e5*k3.e2*e3.e4*ss45^2 - k2.e1*k2.e5*k3.e2*e3.e4*ss34*ss45 + 11/28*k2.e1*k2.e5*k3.e2*e3.e4*ss12*ss45 + 1/2*k2.e1*k2.e5*k3.e2*e3.e4*ss12*ss34 + 17/28*k2.e1*k2.e5*k3.e2*e3.e4*ss12*ss23 - 5/14*k2.e1*k2.e5*k3.e2*e3.e4*ss12*ss15 + 3/56*k2.e1*k2.e5*k3.e2*e3.e4*ss12^2 + k2.e1*k2.e5*k3.e4*e2.e3*ss45^2 + k2.e1*k2.e5*k3.e4*e2.e3*ss34*ss45 - 13/28*k2.e1*k2.e5*k3.e4*e2.e3*ss12*ss45 - 25/56*k2.e1*k2.e5*k3.e4*e2.e3*ss12*ss34 - 27/56*k2.e1*k2.e5*k3.e4*e2.e3*ss12*ss23 + 5/14*k2.e1*k2.e5*k3.e4*e2.e3*ss12*ss15 + 1/56*k2.e1*k2.e5*k3.e4*e2.e3*ss12^2 - 3/56*k2.e1*k2.e5*k4.e2*e3.e4*ss12*ss45 + 3/28*k2.e1*k2.e5*k4.e2*e3.e4*ss12*ss23 + 3/56*k2.e1*k2.e5*k4.e2*e3.e4*ss12^2 - k2.e1*k2.e5*k4.e3*e2.e4*ss45^2 + 79/56*k2.e1*k2.e5*k4.e3*e2.e4*ss12*ss45 + 1/7*k2.e1*k2.e5*k4.e3*e2.e4*ss12*ss23 - 23/56*k2.e1*k2.e5*k4.e3*e2.e4*ss12^2 + k2.e1*k3.e2*k3.e4*e3.e5*ss45^2 + k2.e1*k3.e2*k3.e4*e3.e5*ss34*ss45 - 1/14*k2.e1*k3.e2*k3.e4*e3.e5*ss12*ss45 - 25/56*k2.e1*k3.e2*k3.e4*e3.e5*ss12*ss34 - 3/8*k2.e1*k3.e2*k3.e4*e3.e5*ss12*ss23 + 3/8*k2.e1*k3.e2*k3.e4*e3.e5*ss12*ss15 - k2.e1*k3.e2*k3.e5*e3.e4*ss45^2 - k2.e1*k3.e2*k3.e5*e3.e4*ss34*ss45 + 3/8*k2.e1*k3.e2*k3.e5*e3.e4*ss12*ss45 + 1/2*k2.e1*k3.e2*k3.e5*e3.e4*ss12*ss34 + 19/28*k2.e1*k3.e2*k3.e5*e3.e4*ss12*ss23 - 3/7*k2.e1*k3.e2*k3.e5*e3.e4*ss12*ss15 + 3/56*k2.e1*k3.e2*k3.e5*e3.e4*ss12^2 - k2.e1*k3.e2*k4.e3*e4.e5*ss45^2 - k2.e1*k3.e2*k4.e3*e4.e5*ss34*ss45 + 25/56*k2.e1*k3.e2*k4.e3*e4.e5*ss12*ss45 + 1/2*k2.e1*k3.e2*k4.e3*e4.e5*ss12*ss34 + 17/28*k2.e1*k3.e2*k4.e3*e4.e5*ss12*ss23 - 5/14*k2.e1*k3.e2*k4.e3*e4.e5*ss12*ss15 + 3/56*k2.e1*k3.e2*k4.e3*e4.e5*ss12^2 - 3/8*k2.e1*k3.e4*k3.e5*e2.e3*ss12*ss45 - 3/56*k2.e1*k3.e4*k3.e5*e2.e3*ss12*ss34 - 5/28*k2.e1*k3.e4*k3.e5*e2.e3*ss12*ss23 + 3/56*k2.e1*k3.e4*k3.e5*e2.e3*ss12*ss15 + 1/56*k2.e1*k3.e4*k3.e5*e2.e3*ss12^2 + k2.e1*k3.e4*k4.e2*e3.e5*ss45^2 - 13/14*k2.e1*k3.e4*k4.e2*e3.e5*ss12*ss45 - 1/14*k2.e1*k3.e4*k4.e2*e3.e5*ss12*ss23 + 1/14*k2.e1*k3.e4*k4.e2*e3.e5*ss12^2 - 3/8*k2.e1*k3.e4*k4.e3*e2.e5*ss12*ss45 - 1/8*k2.e1*k3.e4*k4.e3*e2.e5*ss12*ss23 + 13/56*k2.e1*k3.e4*k4.e3*e2.e5*ss12^2 - k2.e1*k3.e5*k4.e2*e3.e4*ss45^2 + 7/8*k2.e1*k3.e5*k4.e2*e3.e4*ss12*ss45 + 5/28*k2.e1*k3.e5*k4.e2*e3.e4*ss12*ss23 - 1/56*k2.e1*k3.e5*k4.e2*e3.e4*ss12^2 + 27/56*k2.e1*k3.e5*k4.e3*e2.e4*ss12*ss45 + 1/14*k2.e1*k3.e5*k4.e3*e2.e4*ss12*ss23 - 19/56*k2.e1*k3.e5*k4.e3*e2.e4*ss12^2 - k2.e1*k4.e2*k4.e3*e4.e5*ss45^2 + 19/14*k2.e1*k4.e2*k4.e3*e4.e5*ss12*ss45 + 1/4*k2.e1*k4.e2*k4.e3*e4.e5*ss12*ss23 - 5/14*k2.e1*k4.e2*k4.e3*e4.e5*ss12^2 + k2.e1*e2.e3*e4.e5*ss34*ss45^2 + k2.e1*e2.e3*e4.e5*ss34^2*ss45 - 1/14*k2.e1*e2.e3*e4.e5*ss12*ss45^2 - 29/56*k2.e1*e2.e3*e4.e5*ss12*ss34*ss45 - 1/2*k2.e1*e2.e3*e4.e5*ss12*ss34^2 + 3/14*k2.e1*e2.e3*e4.e5*ss12*ss23*ss45 - 27/56*k2.e1*e2.e3*e4.e5*ss12*ss23*ss34 - 1/7*k2.e1*e2.e3*e4.e5*ss12*ss23^2 - 1/14*k2.e1*e2.e3*e4.e5*ss12*ss15*ss45 + 5/14*k2.e1*e2.e3*e4.e5*ss12*ss15*ss34 + 1/7*k2.e1*e2.e3*e4.e5*ss12*ss15*ss23 + 1/14*k2.e1*e2.e3*e4.e5*ss12^2*ss45 + 1/56*k2.e1*e2.e3*e4.e5*ss12^2*ss34 - 1/14*k2.e1*e2.e3*e4.e5*ss12^2*ss23 + 1/14*k2.e1*e2.e3*e4.e5*ss12^2*ss15 - k2.e1*e2.e4*e3.e5*ss34*ss45^2 + 1/14*k2.e1*e2.e4*e3.e5*ss12*ss45^2 + 13/14*k2.e1*e2.e4*e3.e5*ss12*ss34*ss45 - 3/14*k2.e1*e2.e4*e3.e5*ss12*ss23*ss45 + 1/14*k2.e1*e2.e4*e3.e5*ss12*ss23*ss34 + 1/7*k2.e1*e2.e4*e3.e5*ss12*ss23^2 + 1/14*k2.e1*e2.e4*e3.e5*ss12*ss15*ss45 - 1/7*k2.e1*e2.e4*e3.e5*ss12*ss15*ss23 - 1/14*k2.e1*e2.e4*e3.e5*ss12^2*ss45 - 1/14*k2.e1*e2.e4*e3.e5*ss12^2*ss34 + 1/14*k2.e1*e2.e4*e3.e5*ss12^2*ss23 - 1/14*k2.e1*e2.e4*e3.e5*ss12^2*ss15 + k2.e1*e2.e5*e3.e4*ss45^3 + k2.e1*e2.e5*e3.e4*ss34*ss45^2 - 11/8*k2.e1*e2.e5*e3.e4*ss12*ss45^2 - 13/14*k2.e1*e2.e5*e3.e4*ss12*ss34*ss45 + 1/56*k2.e1*e2.e5*e3.e4*ss12*ss23*ss45 - 1/14*k2.e1*e2.e5*e3.e4*ss12*ss23*ss34 - 1/7*k2.e1*e2.e5*e3.e4*ss12*ss23^2 - 1/14*k2.e1*e2.e5*e3.e4*ss12*ss15*ss45 + 1/7*k2.e1*e2.e5*e3.e4*ss12*ss15*ss23 + 3/8*k2.e1*e2.e5*e3.e4*ss12^2*ss45 + 1/14*k2.e1*e2.e5*e3.e4*ss12^2*ss34 - 1/14*k2.e1*e2.e5*e3.e4*ss12^2*ss23 + 1/14*k2.e1*e2.e5*e3.e4*ss12^2*ss15 - 3/56*k2.e3*k2.e4*k2.e5*k3.e1*k3.e2*ss12 - 3/56*k2.e3*k2.e4*k2.e5*k3.e2*k4.e1*ss12 - 13/56*k2.e3*k2.e4*k2.e5*e1.e2*ss12*ss45 + 13/56*k2.e3*k2.e4*k2.e5*e1.e2*ss12*ss23 + 13/56*k2.e3*k2.e4*k2.e5*e1.e2*ss12^2 - 3/56*k2.e3*k2.e4*k3.e1*k3.e2*k3.e5*ss12 - 3/56*k2.e3*k2.e4*k3.e1*k3.e5*k4.e2*ss12 - 3/8*k2.e3*k2.e4*k3.e1*e2.e5*ss12*ss45 + 25/56*k2.e3*k2.e4*k3.e1*e2.e5*ss12*ss34 + 3/8*k2.e3*k2.e4*k3.e1*e2.e5*ss12*ss23 - 3/8*k2.e3*k2.e4*k3.e1*e2.e5*ss12*ss15 - 3/56*k2.e3*k2.e4*k3.e2*k3.e5*k4.e1*ss12 - 13/56*k2.e3*k2.e4*k3.e2*e1.e5*ss12*ss45 + 13/56*k2.e3*k2.e4*k3.e2*e1.e5*ss12*ss23 - 13/56*k2.e3*k2.e4*k3.e2*e1.e5*ss12*ss15 - 3/56*k2.e3*k2.e4*k3.e5*k4.e1*k4.e2*ss12 + 3/28*k2.e3*k2.e4*k3.e5*e1.e2*ss12*ss34 + 13/56*k2.e3*k2.e4*k3.e5*e1.e2*ss12*ss15 + 13/56*k2.e3*k2.e4*k3.e5*e1.e2*ss12^2 - 3/8*k2.e3*k2.e4*k4.e1*e2.e5*ss12*ss45 - 3/56*k2.e3*k2.e4*k4.e1*e2.e5*ss12*ss34 + 3/8*k2.e3*k2.e4*k4.e1*e2.e5*ss12*ss23 + 3/8*k2.e3*k2.e4*k4.e1*e2.e5*ss12^2 - 13/56*k2.e3*k2.e4*k4.e2*e1.e5*ss12*ss45 + 3/28*k2.e3*k2.e4*k4.e2*e1.e5*ss12*ss34 + 13/56*k2.e3*k2.e4*k4.e2*e1.e5*ss12*ss23 + 13/56*k2.e3*k2.e4*k4.e2*e1.e5*ss12^2 + 47/56*k2.e3*k2.e5*k3.e1*e2.e4*ss12*ss45 - 1/2*k2.e3*k2.e5*k3.e1*e2.e4*ss12*ss34 - 2/7*k2.e3*k2.e5*k3.e1*e2.e4*ss12*ss23 + 27/56*k2.e3*k2.e5*k3.e1*e2.e4*ss12*ss15 - 2/7*k2.e3*k2.e5*k3.e1*e2.e4*ss12^2 - 3/56*k2.e3*k2.e5*k3.e2*k3.e4*k4.e1*ss12 - 15/56*k2.e3*k2.e5*k3.e2*e1.e4*ss12*ss45 - 2/7*k2.e3*k2.e5*k3.e2*e1.e4*ss12*ss23 + 19/56*k2.e3*k2.e5*k3.e2*e1.e4*ss12*ss15 + 1/8*k2.e3*k2.e5*k3.e2*e1.e4*ss12^2 - 3/56*k2.e3*k2.e5*k3.e4*k4.e1*k4.e2*ss12 - 1/8*k2.e3*k2.e5*k3.e4*e1.e2*ss12*ss45 - 3/28*k2.e3*k2.e5*k3.e4*e1.e2*ss12*ss34 + 4/7*k2.e3*k2.e5*k3.e4*e1.e2*ss12*ss23 - 13/56*k2.e3*k2.e5*k3.e4*e1.e2*ss12*ss15 + 15/56*k2.e3*k2.e5*k3.e4*e1.e2*ss12^2 + 3/7*k2.e3*k2.e5*k4.e1*e2.e4*ss12*ss45 - 3/56*k2.e3*k2.e5*k4.e1*e2.e4*ss12*ss34 - 3/7*k2.e3*k2.e5*k4.e1*e2.e4*ss12*ss23 - 3/7*k2.e3*k2.e5*k4.e1*e2.e4*ss12^2 + 2/7*k2.e3*k2.e5*k4.e2*e1.e4*ss12*ss45 + 3/28*k2.e3*k2.e5*k4.e2*e1.e4*ss12*ss34 - 2/7*k2.e3*k2.e5*k4.e2*e1.e4*ss12*ss23 - 2/7*k2.e3*k2.e5*k4.e2*e1.e4*ss12^2 - 11/56*k2.e3*k3.e1*k3.e2*e4.e5*ss12*ss45 + 3/56*k2.e3*k3.e1*k3.e2*e4.e5*ss12*ss34 + 1/4*k2.e3*k3.e1*k3.e2*e4.e5*ss12*ss23 - 1/4*k2.e3*k3.e1*k3.e2*e4.e5*ss12*ss15 - 3/56*k2.e3*k3.e1*k3.e4*k3.e5*k4.e2*ss12 - 1/14*k2.e3*k3.e1*k3.e4*e2.e5*ss12*ss45 + 25/56*k2.e3*k3.e1*k3.e4*e2.e5*ss12*ss34 + 29/56*k2.e3*k3.e1*k3.e4*e2.e5*ss12*ss23 - 29/56*k2.e3*k3.e1*k3.e4*e2.e5*ss12*ss15 + 13/14*k2.e3*k3.e1*k3.e5*e2.e4*ss12*ss45 - 1/2*k2.e3*k3.e1*k3.e5*e2.e4*ss12*ss34 - 3/7*k2.e3*k3.e1*k3.e5*e2.e4*ss12*ss23 + 5/8*k2.e3*k3.e1*k3.e5*e2.e4*ss12*ss15 - 2/7*k2.e3*k3.e1*k3.e5*e2.e4*ss12^2 + 6/7*k2.e3*k3.e1*k4.e2*e4.e5*ss12*ss45 - 1/2*k2.e3*k3.e1*k4.e2*e4.e5*ss12*ss34 - 17/56*k2.e3*k3.e1*k4.e2*e4.e5*ss12*ss23 + 1/2*k2.e3*k3.e1*k4.e2*e4.e5*ss12*ss15 - 2/7*k2.e3*k3.e1*k4.e2*e4.e5*ss12^2 - 3/56*k2.e3*k3.e2*k3.e4*k3.e5*k4.e1*ss12 - 13/56*k2.e3*k3.e2*k3.e4*e1.e5*ss12*ss45 + 13/56*k2.e3*k3.e2*k3.e4*e1.e5*ss12*ss23 - 13/56*k2.e3*k3.e2*k3.e4*e1.e5*ss12*ss15 - 15/56*k2.e3*k3.e2*k3.e5*e1.e4*ss12*ss45 - 2/7*k2.e3*k3.e2*k3.e5*e1.e4*ss12*ss23 + 19/56*k2.e3*k3.e2*k3.e5*e1.e4*ss12*ss15 + 1/8*k2.e3*k3.e2*k3.e5*e1.e4*ss12^2 - 19/56*k2.e3*k3.e2*k4.e1*e4.e5*ss12*ss45 - 9/56*k2.e3*k3.e2*k4.e1*e4.e5*ss12*ss23 + 3/14*k2.e3*k3.e2*k4.e1*e4.e5*ss12*ss15 + 1/8*k2.e3*k3.e2*k4.e1*e4.e5*ss12^2 - 3/28*k2.e3*k3.e4*k3.e5*k4.e1*k4.e2*ss12 + 3/14*k2.e3*k3.e4*k3.e5*e1.e2*ss12*ss45 + 19/56*k2.e3*k3.e4*k3.e5*e1.e2*ss12*ss23 + 15/56*k2.e3*k3.e4*k3.e5*e1.e2*ss12^2 - 7/8*k2.e3*k3.e4*k4.e1*e2.e5*ss12*ss45 - 3/56*k2.e3*k3.e4*k4.e1*e2.e5*ss12*ss34 + 3/8*k2.e3*k3.e4*k4.e1*e2.e5*ss12*ss23 + 25/56*k2.e3*k3.e4*k4.e1*e2.e5*ss12^2 + 9/28*k2.e3*k3.e4*k4.e2*e1.e5*ss12*ss45 + 3/28*k2.e3*k3.e4*k4.e2*e1.e5*ss12*ss34 + 13/56*k2.e3*k3.e4*k4.e2*e1.e5*ss12*ss23 + 9/56*k2.e3*k3.e4*k4.e2*e1.e5*ss12^2 + 13/14*k2.e3*k3.e5*k4.e1*e2.e4*ss12*ss45 - 3/56*k2.e3*k3.e5*k4.e1*e2.e4*ss12*ss34 - 3/7*k2.e3*k3.e5*k4.e1*e2.e4*ss12*ss23 - 1/2*k2.e3*k3.e5*k4.e1*e2.e4*ss12^2 - 15/56*k2.e3*k3.e5*k4.e2*e1.e4*ss12*ss45 + 3/28*k2.e3*k3.e5*k4.e2*e1.e4*ss12*ss34 - 2/7*k2.e3*k3.e5*k4.e2*e1.e4*ss12*ss23 - 3/14*k2.e3*k3.e5*k4.e2*e1.e4*ss12^2 + 5/7*k2.e3*k4.e1*k4.e2*e4.e5*ss12*ss45 - 5/7*k2.e3*k4.e1*k4.e2*e4.e5*ss12*ss23 - 5/7*k2.e3*k4.e1*k4.e2*e4.e5*ss12^2 - k2.e3*e1.e2*e4.e5*ss34*ss45^2 + k2.e3*e1.e2*e4.e5*ss23*ss34*ss45 - k2.e3*e1.e2*e4.e5*ss15*ss34*ss45 + 13/56*k2.e3*e1.e2*e4.e5*ss12*ss45^2 + 33/56*k2.e3*e1.e2*e4.e5*ss12*ss34*ss45 - 3/28*k2.e3*e1.e2*e4.e5*ss12*ss34^2 - 13/56*k2.e3*e1.e2*e4.e5*ss12*ss23*ss45 - 1/7*k2.e3*e1.e2*e4.e5*ss12*ss23*ss34 + 1/4*k2.e3*e1.e2*e4.e5*ss12*ss15*ss34 - 13/56*k2.e3*e1.e2*e4.e5*ss12^2*ss45 + 1/28*k2.e3*e1.e2*e4.e5*ss12^2*ss34 - 13/56*k2.e3*e1.e4*e2.e5*ss12*ss45^2 + 25/56*k2.e3*e1.e4*e2.e5*ss12*ss34*ss45 + 5/56*k2.e3*e1.e4*e2.e5*ss12*ss23*ss45 + 1/7*k2.e3*e1.e4*e2.e5*ss12*ss23^2 + 1/7*k2.e3*e1.e4*e2.e5*ss12*ss15*ss45 - 1/7*k2.e3*e1.e4*e2.e5*ss12*ss15*ss23 + 13/56*k2.e3*e1.e4*e2.e5*ss12^2*ss45 - 1/14*k2.e3*e1.e4*e2.e5*ss12^2*ss34 + 1/7*k2.e3*e1.e4*e2.e5*ss12^2*ss23 - 1/7*k2.e3*e1.e4*e2.e5*ss12^2*ss15 - 3/8*k2.e3*e1.e5*e2.e4*ss12*ss45^2 - 25/56*k2.e3*e1.e5*e2.e4*ss12*ss34*ss45 + 29/56*k2.e3*e1.e5*e2.e4*ss12*ss23*ss45 - 1/7*k2.e3*e1.e5*e2.e4*ss12*ss23^2 - 1/7*k2.e3*e1.e5*e2.e4*ss12*ss15*ss45 + 1/7*k2.e3*e1.e5*e2.e4*ss12*ss15*ss23 + 3/8*k2.e3*e1.e5*e2.e4*ss12^2*ss45 + 1/14*k2.e3*e1.e5*e2.e4*ss12^2*ss34 - 1/7*k2.e3*e1.e5*e2.e4*ss12^2*ss23 + 1/7*k2.e3*e1.e5*e2.e4*ss12^2*ss15 - 3/56*k2.e4*k2.e5*k3.e1*k3.e2*k4.e3*ss12 - 5/14*k2.e4*k2.e5*k3.e1*e2.e3*ss12*ss45 + 3/56*k2.e4*k2.e5*k3.e1*e2.e3*ss12*ss34 - 1/7*k2.e4*k2.e5*k3.e1*e2.e3*ss12*ss23 + 3/14*k2.e4*k2.e5*k3.e1*e2.e3*ss12^2 - 3/28*k2.e4*k2.e5*k3.e2*k4.e1*k4.e3*ss12 + 31/56*k2.e4*k2.e5*k3.e2*e1.e3*ss12*ss45 - 23/56*k2.e4*k2.e5*k3.e2*e1.e3*ss12^2 + 3/56*k2.e4*k2.e5*k4.e1*e2.e3*ss12*ss45 + 3/28*k2.e4*k2.e5*k4.e1*e2.e3*ss12*ss34 - 3/56*k2.e4*k2.e5*k4.e1*e2.e3*ss12^2 - 3/56*k2.e4*k3.e1*k3.e2*k3.e5*k4.e3*ss12 + 6/7*k2.e4*k3.e1*k3.e2*e3.e5*ss12*ss45 - 1/2*k2.e4*k3.e1*k3.e2*e3.e5*ss12*ss34 - 6/7*k2.e4*k3.e1*k3.e2*e3.e5*ss12*ss23 + 6/7*k2.e4*k3.e1*k3.e2*e3.e5*ss12*ss15 - 13/14*k2.e4*k3.e1*k3.e5*e2.e3*ss12*ss45 + 25/56*k2.e4*k3.e1*k3.e5*e2.e3*ss12*ss34 + 3/7*k2.e4*k3.e1*k3.e5*e2.e3*ss12*ss23 - 4/7*k2.e4*k3.e1*k3.e5*e2.e3*ss12*ss15 + 3/14*k2.e4*k3.e1*k3.e5*e2.e3*ss12^2 - 11/56*k2.e4*k3.e1*k4.e2*e3.e5*ss12*ss45 - 17/56*k2.e4*k3.e1*k4.e2*e3.e5*ss12*ss23 - 3/56*k2.e4*k3.e1*k4.e2*e3.e5*ss12*ss15 - 3/4*k2.e4*k3.e1*k4.e3*e2.e5*ss12*ss45 - 1/4*k2.e4*k3.e1*k4.e3*e2.e5*ss12*ss23 + 3/28*k2.e4*k3.e1*k4.e3*e2.e5*ss12*ss15 + 17/56*k2.e4*k3.e1*k4.e3*e2.e5*ss12^2 - 3/56*k2.e4*k3.e2*k3.e5*k4.e1*k4.e3*ss12 + 15/56*k2.e4*k3.e2*k3.e5*e1.e3*ss12*ss45 + 3/28*k2.e4*k3.e2*k3.e5*e1.e3*ss12*ss34 + 2/7*k2.e4*k3.e2*k3.e5*e1.e3*ss12*ss23 - 2/7*k2.e4*k3.e2*k3.e5*e1.e3*ss12*ss15 - 23/56*k2.e4*k3.e2*k3.e5*e1.e3*ss12^2 + k2.e4*k3.e2*k4.e1*e3.e5*ss12*ss45 + 3/56*k2.e4*k3.e2*k4.e1*e3.e5*ss12*ss34 - 25/56*k2.e4*k3.e2*k4.e1*e3.e5*ss12*ss23 - 3/56*k2.e4*k3.e2*k4.e1*e3.e5*ss12*ss15 - 1/2*k2.e4*k3.e2*k4.e1*e3.e5*ss12^2 + 31/56*k2.e4*k3.e2*k4.e3*e1.e5*ss12*ss45 - 3/28*k2.e4*k3.e2*k4.e3*e1.e5*ss12*ss34 - 3/28*k2.e4*k3.e2*k4.e3*e1.e5*ss12*ss23 + 3/28*k2.e4*k3.e2*k4.e3*e1.e5*ss12*ss15 - 17/56*k2.e4*k3.e2*k4.e3*e1.e5*ss12^2 - 13/14*k2.e4*k3.e5*k4.e1*e2.e3*ss12*ss45 + 3/7*k2.e4*k3.e5*k4.e1*e2.e3*ss12*ss23 + 3/56*k2.e4*k3.e5*k4.e1*e2.e3*ss12*ss15 + 3/7*k2.e4*k3.e5*k4.e1*e2.e3*ss12^2 + 15/56*k2.e4*k3.e5*k4.e2*e1.e3*ss12*ss45 + 2/7*k2.e4*k3.e5*k4.e2*e1.e3*ss12*ss23 + 3/56*k2.e4*k3.e5*k4.e2*e1.e3*ss12*ss15 - 1/14*k2.e4*k3.e5*k4.e2*e1.e3*ss12^2 - 3/14*k2.e4*k3.e5*k4.e3*e1.e2*ss12*ss45 - 19/56*k2.e4*k3.e5*k4.e3*e1.e2*ss12*ss23 + 1/14*k2.e4*k3.e5*k4.e3*e1.e2*ss12^2 - 3/56*k2.e4*k4.e1*k4.e2*e3.e5*ss12*ss45 + 3/28*k2.e4*k4.e1*k4.e2*e3.e5*ss12*ss23 + 3/56*k2.e4*k4.e1*k4.e2*e3.e5*ss12^2 + 3/28*k2.e4*k4.e1*k4.e3*e2.e5*ss12*ss45 - 3/56*k2.e4*k4.e1*k4.e3*e2.e5*ss12*ss23 - 3/28*k2.e4*k4.e1*k4.e3*e2.e5*ss12^2 - 3/56*k2.e4*k4.e2*k4.e3*e1.e5*ss12*ss45 - 3/56*k2.e4*k4.e2*k4.e3*e1.e5*ss12*ss23 + 3/56*k2.e4*k4.e2*k4.e3*e1.e5*ss12^2 + k2.e4*e1.e2*e3.e5*ss34*ss45^2 - k2.e4*e1.e2*e3.e5*ss23*ss34*ss45 - 13/56*k2.e4*e1.e2*e3.e5*ss12*ss45^2 - 13/14*k2.e4*e1.e2*e3.e5*ss12*ss34*ss45 + 13/56*k2.e4*e1.e2*e3.e5*ss12*ss23*ss45 + 3/8*k2.e4*e1.e2*e3.e5*ss12*ss23*ss34 - 13/56*k2.e4*e1.e2*e3.e5*ss12*ss15*ss45 + 13/56*k2.e4*e1.e2*e3.e5*ss12^2*ss45 + 1/14*k2.e4*e1.e2*e3.e5*ss12^2*ss34 - 13/56*k2.e4*e1.e2*e3.e5*ss12^2*ss23 + 13/56*k2.e4*e1.e2*e3.e5*ss12^2*ss15 + 13/56*k2.e4*e1.e3*e2.e5*ss12*ss45^2 + 29/56*k2.e4*e1.e3*e2.e5*ss12*ss34*ss45 - 5/56*k2.e4*e1.e3*e2.e5*ss12*ss23*ss45 + 1/28*k2.e4*e1.e3*e2.e5*ss12*ss23*ss34 - 1/7*k2.e4*e1.e3*e2.e5*ss12*ss23^2 + 13/56*k2.e4*e1.e3*e2.e5*ss12*ss15*ss45 - 3/28*k2.e4*e1.e3*e2.e5*ss12*ss15*ss34 + 1/7*k2.e4*e1.e3*e2.e5*ss12*ss15*ss23 - 13/56*k2.e4*e1.e3*e2.e5*ss12^2*ss45 - 1/14*k2.e4*e1.e3*e2.e5*ss12^2*ss34 + 13/56*k2.e4*e1.e3*e2.e5*ss12^2*ss23 - 13/56*k2.e4*e1.e3*e2.e5*ss12^2*ss15 + 3/8*k2.e4*e1.e5*e2.e3*ss12*ss45^2 - 5/8*k2.e4*e1.e5*e2.e3*ss12*ss34*ss45 + 3/28*k2.e4*e1.e5*e2.e3*ss12*ss34^2 - 29/56*k2.e4*e1.e5*e2.e3*ss12*ss23*ss45 + 5/28*k2.e4*e1.e5*e2.e3*ss12*ss23*ss34 + 1/7*k2.e4*e1.e5*e2.e3*ss12*ss23^2 + 3/8*k2.e4*e1.e5*e2.e3*ss12*ss15*ss45 - 3/28*k2.e4*e1.e5*e2.e3*ss12*ss15*ss34 - 1/7*k2.e4*e1.e5*e2.e3*ss12*ss15*ss23 - 3/8*k2.e4*e1.e5*e2.e3*ss12^2*ss45 + 3/8*k2.e4*e1.e5*e2.e3*ss12^2*ss34 + 3/8*k2.e4*e1.e5*e2.e3*ss12^2*ss23 - 3/8*k2.e4*e1.e5*e2.e3*ss12^2*ss15 - 23/56*k2.e5*k3.e1*k3.e2*e3.e4*ss12*ss45 + 31/56*k2.e5*k3.e1*k3.e2*e3.e4*ss12*ss34 + 27/28*k2.e5*k3.e1*k3.e2*e3.e4*ss12*ss23 - 27/28*k2.e5*k3.e1*k3.e2*e3.e4*ss12*ss15 + 5/28*k2.e5*k3.e1*k3.e4*e2.e3*ss12*ss45 - 25/56*k2.e5*k3.e1*k3.e4*e2.e3*ss12*ss34 - 5/8*k2.e5*k3.e1*k3.e4*e2.e3*ss12*ss23 + 5/8*k2.e5*k3.e1*k3.e4*e2.e3*ss12*ss15 + 13/56*k2.e5*k3.e1*k3.e4*e2.e3*ss12^2 + 5/56*k2.e5*k3.e1*k4.e2*e3.e4*ss12*ss45 + 13/28*k2.e5*k3.e1*k4.e2*e3.e4*ss12*ss23 - 3/56*k2.e5*k3.e1*k4.e2*e3.e4*ss12*ss15 + 3/56*k2.e5*k3.e1*k4.e2*e3.e4*ss12^2 + 27/28*k2.e5*k3.e1*k4.e3*e2.e4*ss12*ss45 + 5/56*k2.e5*k3.e1*k4.e3*e2.e4*ss12*ss23 + 3/28*k2.e5*k3.e1*k4.e3*e2.e4*ss12*ss15 - 23/56*k2.e5*k3.e1*k4.e3*e2.e4*ss12^2 - 3/56*k2.e5*k3.e2*k3.e4*k4.e1*k4.e3*ss12 + 13/56*k2.e5*k3.e2*k3.e4*e1.e3*ss12*ss45 - 3/28*k2.e5*k3.e2*k3.e4*e1.e3*ss12*ss34 - 19/56*k2.e5*k3.e2*k3.e4*e1.e3*ss12*ss23 + 19/56*k2.e5*k3.e2*k3.e4*e1.e3*ss12*ss15 - 13/56*k2.e5*k3.e2*k3.e4*e1.e3*ss12^2 - 59/56*k2.e5*k3.e2*k4.e1*e3.e4*ss12*ss45 + 3/56*k2.e5*k3.e2*k4.e1*e3.e4*ss12*ss34 + 17/28*k2.e5*k3.e2*k4.e1*e3.e4*ss12*ss23 - 3/56*k2.e5*k3.e2*k4.e1*e3.e4*ss12*ss15 + 1/2*k2.e5*k3.e2*k4.e1*e3.e4*ss12^2 - 17/28*k2.e5*k3.e2*k4.e3*e1.e4*ss12*ss45 - 3/28*k2.e5*k3.e2*k4.e3*e1.e4*ss12*ss34 - 3/56*k2.e5*k3.e2*k4.e3*e1.e4*ss12*ss23 + 3/28*k2.e5*k3.e2*k4.e3*e1.e4*ss12*ss15 + 13/28*k2.e5*k3.e2*k4.e3*e1.e4*ss12^2 + 55/56*k2.e5*k3.e4*k4.e1*e2.e3*ss12*ss45 - 27/56*k2.e5*k3.e4*k4.e1*e2.e3*ss12*ss23 + 3/56*k2.e5*k3.e4*k4.e1*e2.e3*ss12*ss15 - 3/7*k2.e5*k3.e4*k4.e1*e2.e3*ss12^2 - 3/14*k2.e5*k3.e4*k4.e2*e1.e3*ss12*ss45 - 19/56*k2.e5*k3.e4*k4.e2*e1.e3*ss12*ss23 + 3/56*k2.e5*k3.e4*k4.e2*e1.e3*ss12*ss15 + 1/14*k2.e5*k3.e4*k4.e2*e1.e3*ss12^2 + 3/14*k2.e5*k3.e4*k4.e3*e1.e2*ss12*ss45 + 19/56*k2.e5*k3.e4*k4.e3*e1.e2*ss12*ss23 - 1/14*k2.e5*k3.e4*k4.e3*e1.e2*ss12^2 - 3/56*k2.e5*k4.e1*k4.e2*e3.e4*ss12*ss45 + 3/28*k2.e5*k4.e1*k4.e2*e3.e4*ss12*ss23 + 3/56*k2.e5*k4.e1*k4.e2*e3.e4*ss12^2 + 3/28*k2.e5*k4.e1*k4.e3*e2.e4*ss12*ss45 - 3/56*k2.e5*k4.e1*k4.e3*e2.e4*ss12*ss23 - 3/28*k2.e5*k4.e1*k4.e3*e2.e4*ss12^2 - 3/56*k2.e5*k4.e2*k4.e3*e1.e4*ss12*ss45 - 3/56*k2.e5*k4.e2*k4.e3*e1.e4*ss12*ss23 + 3/56*k2.e5*k4.e2*k4.e3*e1.e4*ss12^2 - k2.e5*e1.e2*e3.e4*ss45^3 - k2.e5*e1.e2*e3.e4*ss34*ss45^2 + k2.e5*e1.e2*e3.e4*ss23*ss45^2 + k2.e5*e1.e2*e3.e4*ss23*ss34*ss45 + 27/14*k2.e5*e1.e2*e3.e4*ss12*ss45^2 + 13/14*k2.e5*e1.e2*e3.e4*ss12*ss34*ss45 - 11/8*k2.e5*e1.e2*e3.e4*ss12*ss23*ss45 - 3/8*k2.e5*e1.e2*e3.e4*ss12*ss23*ss34 + 13/56*k2.e5*e1.e2*e3.e4*ss12*ss15*ss45 - k2.e5*e1.e2*e3.e4*ss12^2*ss45 - 1/14*k2.e5*e1.e2*e3.e4*ss12^2*ss34 + 3/8*k2.e5*e1.e2*e3.e4*ss12^2*ss23 - 13/56*k2.e5*e1.e2*e3.e4*ss12^2*ss15 + 1/14*k2.e5*e1.e2*e3.e4*ss12^3 - 5/8*k2.e5*e1.e3*e2.e4*ss12*ss45^2 - 5/8*k2.e5*e1.e3*e2.e4*ss12*ss34*ss45 + 1/14*k2.e5*e1.e3*e2.e4*ss12*ss23*ss45 + 1/14*k2.e5*e1.e3*e2.e4*ss12*ss23*ss34 - 19/56*k2.e5*e1.e3*e2.e4*ss12*ss15*ss45 - 3/28*k2.e5*e1.e3*e2.e4*ss12*ss15*ss34 - 1/7*k2.e5*e1.e3*e2.e4*ss12*ss15*ss23 + 39/56*k2.e5*e1.e3*e2.e4*ss12^2*ss45 + 1/14*k2.e5*e1.e3*e2.e4*ss12^2*ss34 - 1/14*k2.e5*e1.e3*e2.e4*ss12^2*ss23 + 19/56*k2.e5*e1.e3*e2.e4*ss12^2*ss15 - 1/14*k2.e5*e1.e3*e2.e4*ss12^3 + 5/8*k2.e5*e1.e4*e2.e3*ss12*ss45^2 + 41/56*k2.e5*e1.e4*e2.e3*ss12*ss34*ss45 + 3/28*k2.e5*e1.e4*e2.e3*ss12*ss34^2 - 1/14*k2.e5*e1.e4*e2.e3*ss12*ss23*ss45 - 1/14*k2.e5*e1.e4*e2.e3*ss12*ss23*ss34 - 27/56*k2.e5*e1.e4*e2.e3*ss12*ss15*ss45 - 3/28*k2.e5*e1.e4*e2.e3*ss12*ss15*ss34 + 1/7*k2.e5*e1.e4*e2.e3*ss12*ss15*ss23 - 31/28*k2.e5*e1.e4*e2.e3*ss12^2*ss45 - 33/56*k2.e5*e1.e4*e2.e3*ss12^2*ss34 + 1/14*k2.e5*e1.e4*e2.e3*ss12^2*ss23 + 27/56*k2.e5*e1.e4*e2.e3*ss12^2*ss15 + 27/56*k2.e5*e1.e4*e2.e3*ss12^3 + 1/2*k3.e1*k3.e2*k3.e4*e3.e5*ss12*ss45 - 1/2*k3.e1*k3.e2*k3.e4*e3.e5*ss12*ss34 - k3.e1*k3.e2*k3.e4*e3.e5*ss12*ss23 + k3.e1*k3.e2*k3.e4*e3.e5*ss12*ss15 - 31/56*k3.e1*k3.e2*k3.e5*e3.e4*ss12*ss45 + 31/56*k3.e1*k3.e2*k3.e5*e3.e4*ss12*ss34 + 31/28*k3.e1*k3.e2*k3.e5*e3.e4*ss12*ss23 - 31/28*k3.e1*k3.e2*k3.e5*e3.e4*ss12*ss15 - 17/28*k3.e1*k3.e2*k4.e3*e4.e5*ss12*ss45 + 17/28*k3.e1*k3.e2*k4.e3*e4.e5*ss12*ss34 + 17/14*k3.e1*k3.e2*k4.e3*e4.e5*ss12*ss23 - 17/14*k3.e1*k3.e2*k4.e3*e4.e5*ss12*ss15 - 3/56*k3.e1*k3.e4*k3.e5*e2.e3*ss12*ss34 - 3/56*k3.e1*k3.e4*k3.e5*e2.e3*ss12*ss23 + 3/56*k3.e1*k3.e4*k3.e5*e2.e3*ss12*ss15 + 13/56*k3.e1*k3.e4*k3.e5*e2.e3*ss12^2 - 59/56*k3.e1*k3.e4*k4.e2*e3.e5*ss12*ss45 - 25/56*k3.e1*k3.e4*k4.e2*e3.e5*ss12*ss23 - 3/56*k3.e1*k3.e4*k4.e2*e3.e5*ss12*ss15 + 1/14*k3.e1*k3.e4*k4.e2*e3.e5*ss12^2 + 3/28*k3.e1*k3.e4*k4.e3*e2.e5*ss12*ss45 - 3/28*k3.e1*k3.e4*k4.e3*e2.e5*ss12*ss23 + 3/28*k3.e1*k3.e4*k4.e3*e2.e5*ss12*ss15 + 13/56*k3.e1*k3.e4*k4.e3*e2.e5*ss12^2 + 53/56*k3.e1*k3.e5*k4.e2*e3.e4*ss12*ss45 + 17/28*k3.e1*k3.e5*k4.e2*e3.e4*ss12*ss23 - 3/56*k3.e1*k3.e5*k4.e2*e3.e4*ss12*ss15 - 1/56*k3.e1*k3.e5*k4.e2*e3.e4*ss12^2 + 3/28*k3.e1*k3.e5*k4.e3*e2.e4*ss12*ss45 - 3/56*k3.e1*k3.e5*k4.e3*e2.e4*ss12*ss23 + 3/28*k3.e1*k3.e5*k4.e3*e2.e4*ss12*ss15 - 19/56*k3.e1*k3.e5*k4.e3*e2.e4*ss12^2 + k3.e1*k4.e2*k4.e3*e4.e5*ss12*ss45 + 17/28*k3.e1*k4.e2*k4.e3*e4.e5*ss12*ss23 - 5/14*k3.e1*k4.e2*k4.e3*e4.e5*ss12^2 + 31/56*k3.e1*e2.e3*e4.e5*ss12*ss45^2 + 3/4*k3.e1*e2.e3*e4.e5*ss12*ss34*ss45 - 1/2*k3.e1*e2.e3*e4.e5*ss12*ss34^2 + 5/56*k3.e1*e2.e3*e4.e5*ss12*ss23*ss45 - 3/4*k3.e1*e2.e3*e4.e5*ss12*ss23*ss34 - 1/7*k3.e1*e2.e3*e4.e5*ss12*ss23^2 - 5/56*k3.e1*e2.e3*e4.e5*ss12*ss15*ss45 + 25/28*k3.e1*e2.e3*e4.e5*ss12*ss15*ss34 + 3/7*k3.e1*e2.e3*e4.e5*ss12*ss15*ss23 - 2/7*k3.e1*e2.e3*e4.e5*ss12*ss15^2 - 23/56*k3.e1*e2.e3*e4.e5*ss12^2*ss45 + 1/56*k3.e1*e2.e3*e4.e5*ss12^2*ss34 + 11/56*k3.e1*e2.e3*e4.e5*ss12^2*ss23 - 11/56*k3.e1*e2.e3*e4.e5*ss12^2*ss15 - 31/56*k3.e1*e2.e4*e3.e5*ss12*ss45^2 + 6/7*k3.e1*e2.e4*e3.e5*ss12*ss34*ss45 - 5/56*k3.e1*e2.e4*e3.e5*ss12*ss23*ss45 + 1/7*k3.e1*e2.e4*e3.e5*ss12*ss23*ss34 + 1/7*k3.e1*e2.e4*e3.e5*ss12*ss23^2 - 23/56*k3.e1*e2.e4*e3.e5*ss12*ss15*ss45 - 1/7*k3.e1*e2.e4*e3.e5*ss12*ss15*ss23 - 1/14*k3.e1*e2.e4*e3.e5*ss12^2*ss34 - 25/56*k3.e1*e2.e5*e3.e4*ss12*ss45^2 - 6/7*k3.e1*e2.e5*e3.e4*ss12*ss34*ss45 - 23/56*k3.e1*e2.e5*e3.e4*ss12*ss23*ss45 - 1/7*k3.e1*e2.e5*e3.e4*ss12*ss23*ss34 - 1/7*k3.e1*e2.e5*e3.e4*ss12*ss23^2 + 23/56*k3.e1*e2.e5*e3.e4*ss12*ss15*ss45 + 1/7*k3.e1*e2.e5*e3.e4*ss12*ss15*ss23 + 17/56*k3.e1*e2.e5*e3.e4*ss12^2*ss45 + 1/14*k3.e1*e2.e5*e3.e4*ss12^2*ss34 + 3/56*k3.e2*k3.e4*k3.e5*e1.e3*ss12*ss45 - 3/56*k3.e2*k3.e4*k3.e5*e1.e3*ss12*ss23 + 3/56*k3.e2*k3.e4*k3.e5*e1.e3*ss12*ss15 - 13/56*k3.e2*k3.e4*k3.e5*e1.e3*ss12^2 + 3/2*k3.e2*k3.e4*k4.e1*e3.e5*ss12*ss45 + 3/56*k3.e2*k3.e4*k4.e1*e3.e5*ss12*ss34 - 25/56*k3.e2*k3.e4*k4.e1*e3.e5*ss12*ss23 - 3/56*k3.e2*k3.e4*k4.e1*e3.e5*ss12*ss15 - 4/7*k3.e2*k3.e4*k4.e1*e3.e5*ss12^2 - 3/28*k3.e2*k3.e4*k4.e3*e1.e5*ss12*ss34 - 3/28*k3.e2*k3.e4*k4.e3*e1.e5*ss12*ss23 + 3/28*k3.e2*k3.e4*k4.e3*e1.e5*ss12*ss15 - 13/56*k3.e2*k3.e4*k4.e3*e1.e5*ss12^2 - 87/56*k3.e2*k3.e5*k4.e1*e3.e4*ss12*ss45 + 3/56*k3.e2*k3.e5*k4.e1*e3.e4*ss12*ss34 + 17/28*k3.e2*k3.e5*k4.e1*e3.e4*ss12*ss23 - 3/56*k3.e2*k3.e5*k4.e1*e3.e4*ss12*ss15 + 4/7*k3.e2*k3.e5*k4.e1*e3.e4*ss12^2 - 3/56*k3.e2*k3.e5*k4.e3*e1.e4*ss12*ss45 - 3/28*k3.e2*k3.e5*k4.e3*e1.e4*ss12*ss34 - 3/56*k3.e2*k3.e5*k4.e3*e1.e4*ss12*ss23 + 3/28*k3.e2*k3.e5*k4.e3*e1.e4*ss12*ss15 + 11/28*k3.e2*k3.e5*k4.e3*e1.e4*ss12^2 - 45/28*k3.e2*k4.e1*k4.e3*e4.e5*ss12*ss45 + 17/28*k3.e2*k4.e1*k4.e3*e4.e5*ss12*ss23 + 27/28*k3.e2*k4.e1*k4.e3*e4.e5*ss12^2 - 1/2*k3.e2*e1.e3*e4.e5*ss12*ss45^2 - 19/56*k3.e2*e1.e3*e4.e5*ss12*ss34*ss45 - 3/28*k3.e2*e1.e3*e4.e5*ss12*ss34^2 - 11/56*k3.e2*e1.e3*e4.e5*ss12*ss23*ss45 - 9/28*k3.e2*e1.e3*e4.e5*ss12*ss23*ss34 + 1/7*k3.e2*e1.e3*e4.e5*ss12*ss23^2 + 19/56*k3.e2*e1.e3*e4.e5*ss12*ss15*ss45 + 9/28*k3.e2*e1.e3*e4.e5*ss12*ss15*ss34 - 3/7*k3.e2*e1.e3*e4.e5*ss12*ss15*ss23 + 2/7*k3.e2*e1.e3*e4.e5*ss12*ss15^2 + 5/14*k3.e2*e1.e3*e4.e5*ss12^2*ss45 + 5/28*k3.e2*e1.e3*e4.e5*ss12^2*ss34 + 3/56*k3.e2*e1.e3*e4.e5*ss12^2*ss23 - 3/56*k3.e2*e1.e3*e4.e5*ss12^2*ss15 + 1/2*k3.e2*e1.e4*e3.e5*ss12*ss45^2 - 25/56*k3.e2*e1.e4*e3.e5*ss12*ss34*ss45 + 11/56*k3.e2*e1.e4*e3.e5*ss12*ss23*ss45 - 1/7*k3.e2*e1.e4*e3.e5*ss12*ss23^2 - 31/56*k3.e2*e1.e4*e3.e5*ss12*ss15*ss45 + 1/7*k3.e2*e1.e4*e3.e5*ss12*ss15*ss23 - 5/14*k3.e2*e1.e4*e3.e5*ss12^2*ss45 + 1/14*k3.e2*e1.e4*e3.e5*ss12^2*ss34 - 1/7*k3.e2*e1.e4*e3.e5*ss12^2*ss23 + 1/7*k3.e2*e1.e4*e3.e5*ss12^2*ss15 + k3.e2*e1.e5*e3.e4*ss12*ss45^2 + 25/56*k3.e2*e1.e5*e3.e4*ss12*ss34*ss45 - 39/56*k3.e2*e1.e5*e3.e4*ss12*ss23*ss45 + 1/7*k3.e2*e1.e5*e3.e4*ss12*ss23^2 + 31/56*k3.e2*e1.e5*e3.e4*ss12*ss15*ss45 - 1/7*k3.e2*e1.e5*e3.e4*ss12*ss15*ss23 - 25/56*k3.e2*e1.e5*e3.e4*ss12^2*ss45 - 1/14*k3.e2*e1.e5*e3.e4*ss12^2*ss34 + 1/7*k3.e2*e1.e5*e3.e4*ss12^2*ss23 - 1/7*k3.e2*e1.e5*e3.e4*ss12^2*ss15 - 3/28*k3.e4*k3.e5*k4.e1*e2.e3*ss12*ss34 - 3/56*k3.e4*k3.e5*k4.e1*e2.e3*ss12*ss23 + 3/28*k3.e4*k3.e5*k4.e1*e2.e3*ss12*ss15 + 3/56*k3.e4*k3.e5*k4.e1*e2.e3*ss12^2 + 3/56*k3.e4*k3.e5*k4.e2*e1.e3*ss12*ss45 - 3/56*k3.e4*k3.e5*k4.e2*e1.e3*ss12*ss23 + 3/28*k3.e4*k3.e5*k4.e2*e1.e3*ss12*ss15 - 3/56*k3.e4*k4.e1*k4.e2*e3.e5*ss12*ss45 + 3/28*k3.e4*k4.e1*k4.e2*e3.e5*ss12*ss23 + 3/56*k3.e4*k4.e1*k4.e2*e3.e5*ss12^2 + 3/28*k3.e4*k4.e1*k4.e3*e2.e5*ss12*ss45 - 3/56*k3.e4*k4.e1*k4.e3*e2.e5*ss12*ss23 - 3/28*k3.e4*k4.e1*k4.e3*e2.e5*ss12^2 - 3/56*k3.e4*k4.e2*k4.e3*e1.e5*ss12*ss45 - 3/56*k3.e4*k4.e2*k4.e3*e1.e5*ss12*ss23 + 3/56*k3.e4*k4.e2*k4.e3*e1.e5*ss12^2 + k3.e4*e1.e2*e3.e5*ss34*ss45^2 - k3.e4*e1.e2*e3.e5*ss23*ss34*ss45 - k3.e4*e1.e2*e3.e5*ss15*ss45^2 - 25/56*k3.e4*e1.e2*e3.e5*ss12*ss45^2 - 13/14*k3.e4*e1.e2*e3.e5*ss12*ss34*ss45 - 3/28*k3.e4*e1.e2*e3.e5*ss12*ss23*ss45 + 3/8*k3.e4*e1.e2*e3.e5*ss12*ss23*ss34 + 27/56*k3.e4*e1.e2*e3.e5*ss12*ss15*ss45 + 17/56*k3.e4*e1.e2*e3.e5*ss12^2*ss45 + 1/14*k3.e4*e1.e2*e3.e5*ss12^2*ss34 - 13/56*k3.e4*e1.e2*e3.e5*ss12^2*ss23 + 13/56*k3.e4*e1.e2*e3.e5*ss12^2*ss15 + 25/56*k3.e4*e1.e3*e2.e5*ss12*ss45^2 + 29/56*k3.e4*e1.e3*e2.e5*ss12*ss34*ss45 + 1/4*k3.e4*e1.e3*e2.e5*ss12*ss23*ss45 + 1/28*k3.e4*e1.e3*e2.e5*ss12*ss23*ss34 - 1/7*k3.e4*e1.e3*e2.e5*ss12*ss23^2 - 5/28*k3.e4*e1.e3*e2.e5*ss12*ss15*ss45 - 3/28*k3.e4*e1.e3*e2.e5*ss12*ss15*ss34 + 1/7*k3.e4*e1.e3*e2.e5*ss12*ss15*ss23 - 17/56*k3.e4*e1.e3*e2.e5*ss12^2*ss45 - 1/14*k3.e4*e1.e3*e2.e5*ss12^2*ss34 + 13/56*k3.e4*e1.e3*e2.e5*ss12^2*ss23 - 13/56*k3.e4*e1.e3*e2.e5*ss12^2*ss15 - 31/56*k3.e4*e1.e5*e2.e3*ss12*ss45^2 - 29/56*k3.e4*e1.e5*e2.e3*ss12*ss34*ss45 + 3/28*k3.e4*e1.e5*e2.e3*ss12*ss34^2 - 1/28*k3.e4*e1.e5*e2.e3*ss12*ss23*ss45 + 5/28*k3.e4*e1.e5*e2.e3*ss12*ss23*ss34 + 1/7*k3.e4*e1.e5*e2.e3*ss12*ss23^2 - 1/28*k3.e4*e1.e5*e2.e3*ss12*ss15*ss45 - 3/28*k3.e4*e1.e5*e2.e3*ss12*ss15*ss34 - 1/7*k3.e4*e1.e5*e2.e3*ss12*ss15*ss23 + 3/8*k3.e4*e1.e5*e2.e3*ss12^2*ss34 + 3/8*k3.e4*e1.e5*e2.e3*ss12^2*ss23 - 3/8*k3.e4*e1.e5*e2.e3*ss12^2*ss15 - 3/56*k3.e5*k4.e1*k4.e2*e3.e4*ss12*ss45 + 3/28*k3.e5*k4.e1*k4.e2*e3.e4*ss12*ss23 + 3/56*k3.e5*k4.e1*k4.e2*e3.e4*ss12^2 + 3/28*k3.e5*k4.e1*k4.e3*e2.e4*ss12*ss45 - 3/56*k3.e5*k4.e1*k4.e3*e2.e4*ss12*ss23 - 3/28*k3.e5*k4.e1*k4.e3*e2.e4*ss12^2 - 3/56*k3.e5*k4.e2*k4.e3*e1.e4*ss12*ss45 - 3/56*k3.e5*k4.e2*k4.e3*e1.e4*ss12*ss23 + 3/56*k3.e5*k4.e2*k4.e3*e1.e4*ss12^2 - k3.e5*e1.e2*e3.e4*ss34*ss45^2 + k3.e5*e1.e2*e3.e4*ss23*ss34*ss45 + k3.e5*e1.e2*e3.e4*ss15*ss45^2 + k3.e5*e1.e2*e3.e4*ss12*ss45^2 + 13/14*k3.e5*e1.e2*e3.e4*ss12*ss34*ss45 - k3.e5*e1.e2*e3.e4*ss12*ss23*ss45 - 3/8*k3.e5*e1.e2*e3.e4*ss12*ss23*ss34 - 27/56*k3.e5*e1.e2*e3.e4*ss12*ss15*ss45 - 13/14*k3.e5*e1.e2*e3.e4*ss12^2*ss45 - 1/14*k3.e5*e1.e2*e3.e4*ss12^2*ss34 + 3/8*k3.e5*e1.e2*e3.e4*ss12^2*ss23 - 13/56*k3.e5*e1.e2*e3.e4*ss12^2*ss15 + 1/14*k3.e5*e1.e2*e3.e4*ss12^3 - 5/8*k3.e5*e1.e3*e2.e4*ss12*ss34*ss45 + 1/14*k3.e5*e1.e3*e2.e4*ss12*ss23*ss34 + 1/14*k3.e5*e1.e3*e2.e4*ss12*ss15*ss45 - 3/28*k3.e5*e1.e3*e2.e4*ss12*ss15*ss34 - 1/7*k3.e5*e1.e3*e2.e4*ss12*ss15*ss23 + 5/8*k3.e5*e1.e3*e2.e4*ss12^2*ss45 + 1/14*k3.e5*e1.e3*e2.e4*ss12^2*ss34 - 1/14*k3.e5*e1.e3*e2.e4*ss12^2*ss23 + 19/56*k3.e5*e1.e3*e2.e4*ss12^2*ss15 - 1/14*k3.e5*e1.e3*e2.e4*ss12^3 + 5/8*k3.e5*e1.e4*e2.e3*ss12*ss34*ss45 + 3/28*k3.e5*e1.e4*e2.e3*ss12*ss34^2 - 1/14*k3.e5*e1.e4*e2.e3*ss12*ss23*ss34 - 1/14*k3.e5*e1.e4*e2.e3*ss12*ss15*ss45 - 3/28*k3.e5*e1.e4*e2.e3*ss12*ss15*ss34 + 1/7*k3.e5*e1.e4*e2.e3*ss12*ss15*ss23 - 5/8*k3.e5*e1.e4*e2.e3*ss12^2*ss45 - 33/56*k3.e5*e1.e4*e2.e3*ss12^2*ss34 + 1/14*k3.e5*e1.e4*e2.e3*ss12^2*ss23 + 27/56*k3.e5*e1.e4*e2.e3*ss12^2*ss15 + 27/56*k3.e5*e1.e4*e2.e3*ss12^3 + 31/56*k4.e1*e2.e3*e4.e5*ss12*ss45^2 + 45/28*k4.e1*e2.e3*e4.e5*ss12*ss34*ss45 + 5/56*k4.e1*e2.e3*e4.e5*ss12*ss23*ss45 - 17/28*k4.e1*e2.e3*e4.e5*ss12*ss23*ss34 - 1/7*k4.e1*e2.e3*e4.e5*ss12*ss23^2 - 1/2*k4.e1*e2.e3*e4.e5*ss12*ss15*ss45 + 2/7*k4.e1*e2.e3*e4.e5*ss12*ss15*ss23 - 29/28*k4.e1*e2.e3*e4.e5*ss12^2*ss45 - 27/28*k4.e1*e2.e3*e4.e5*ss12^2*ss34 + 3/56*k4.e1*e2.e3*e4.e5*ss12^2*ss23 + 1/2*k4.e1*e2.e3*e4.e5*ss12^2*ss15 + 27/56*k4.e1*e2.e3*e4.e5*ss12^3 - 31/56*k4.e1*e2.e4*e3.e5*ss12*ss45^2 - 5/56*k4.e1*e2.e4*e3.e5*ss12*ss23*ss45 + 1/7*k4.e1*e2.e4*e3.e5*ss12*ss23^2 + 5/8*k4.e1*e2.e4*e3.e5*ss12^2*ss45 + 1/7*k4.e1*e2.e4*e3.e5*ss12^2*ss23 - 1/14*k4.e1*e2.e4*e3.e5*ss12^3 + 31/56*k4.e1*e2.e5*e3.e4*ss12*ss45^2 + 5/56*k4.e1*e2.e5*e3.e4*ss12*ss23*ss45 - 1/7*k4.e1*e2.e5*e3.e4*ss12*ss23^2 - 5/8*k4.e1*e2.e5*e3.e4*ss12^2*ss45 - 1/7*k4.e1*e2.e5*e3.e4*ss12^2*ss23 + 1/14*k4.e1*e2.e5*e3.e4*ss12^3 - 1/2*k4.e2*e1.e3*e4.e5*ss12*ss45^2 - 11/14*k4.e2*e1.e3*e4.e5*ss12*ss34*ss45 - 11/56*k4.e2*e1.e3*e4.e5*ss12*ss23*ss45 - 9/28*k4.e2*e1.e3*e4.e5*ss12*ss23*ss34 + 1/7*k4.e2*e1.e3*e4.e5*ss12*ss23^2 - 3/14*k4.e2*e1.e3*e4.e5*ss12*ss15*ss45 - 2/7*k4.e2*e1.e3*e4.e5*ss12*ss15*ss23 + 4/7*k4.e2*e1.e3*e4.e5*ss12^2*ss45 + 1/7*k4.e2*e1.e3*e4.e5*ss12^2*ss34 + 3/56*k4.e2*e1.e3*e4.e5*ss12^2*ss23 + 3/14*k4.e2*e1.e3*e4.e5*ss12^2*ss15 - 1/14*k4.e2*e1.e3*e4.e5*ss12^3 + 1/2*k4.e2*e1.e4*e3.e5*ss12*ss45^2 + 11/56*k4.e2*e1.e4*e3.e5*ss12*ss23*ss45 - 1/7*k4.e2*e1.e4*e3.e5*ss12*ss23^2 - 4/7*k4.e2*e1.e4*e3.e5*ss12^2*ss45 - 1/7*k4.e2*e1.e4*e3.e5*ss12^2*ss23 + 1/14*k4.e2*e1.e4*e3.e5*ss12^3 - 1/2*k4.e2*e1.e5*e3.e4*ss12*ss45^2 - 11/56*k4.e2*e1.e5*e3.e4*ss12*ss23*ss45 + 1/7*k4.e2*e1.e5*e3.e4*ss12*ss23^2 + 4/7*k4.e2*e1.e5*e3.e4*ss12^2*ss45 + 1/7*k4.e2*e1.e5*e3.e4*ss12^2*ss23 - 1/14*k4.e2*e1.e5*e3.e4*ss12^3 - k4.e3*e1.e2*e4.e5*ss34*ss45^2 + k4.e3*e1.e2*e4.e5*ss23*ss34*ss45 + k4.e3*e1.e2*e4.e5*ss15*ss45^2 + 25/56*k4.e3*e1.e2*e4.e5*ss12*ss45^2 + 8/7*k4.e3*e1.e2*e4.e5*ss12*ss34*ss45 + 3/28*k4.e3*e1.e2*e4.e5*ss12*ss23*ss45 - 1/28*k4.e3*e1.e2*e4.e5*ss12*ss23*ss34 - 5/4*k4.e3*e1.e2*e4.e5*ss12*ss15*ss45 - 29/56*k4.e3*e1.e2*e4.e5*ss12^2*ss45 - 1/7*k4.e3*e1.e2*e4.e5*ss12^2*ss34 - 3/28*k4.e3*e1.e2*e4.e5*ss12^2*ss23 + 1/4*k4.e3*e1.e2*e4.e5*ss12^2*ss15 + 1/14*k4.e3*e1.e2*e4.e5*ss12^3 - 25/56*k4.e3*e1.e4*e2.e5*ss12*ss45^2 - 1/7*k4.e3*e1.e4*e2.e5*ss12*ss23*ss45 + 1/7*k4.e3*e1.e4*e2.e5*ss12*ss23^2 + 29/56*k4.e3*e1.e4*e2.e5*ss12^2*ss45 + 1/7*k4.e3*e1.e4*e2.e5*ss12^2*ss23 - 1/14*k4.e3*e1.e4*e2.e5*ss12^3 + 25/56*k4.e3*e1.e5*e2.e4*ss12*ss45^2 + 1/7*k4.e3*e1.e5*e2.e4*ss12*ss23*ss45 - 1/7*k4.e3*e1.e5*e2.e4*ss12*ss23^2 - 29/56*k4.e3*e1.e5*e2.e4*ss12^2*ss45 - 1/7*k4.e3*e1.e5*e2.e4*ss12^2*ss23 + 1/14*k4.e3*e1.e5*e2.e4*ss12^3 ;